Skip to content

Merge pull request #43 from htmlhint/dependabot/github_actions/github… #73

Merge pull request #43 from htmlhint/dependabot/github_actions/github…

Merge pull request #43 from htmlhint/dependabot/github_actions/github… #73

Workflow file for this run

name: 'Deploy to GitHub Pages'
on:
pull_request:
push:
branches:
- main
workflow_dispatch:
# Allow this job to clone the repo and create a page deployment
permissions:
contents: read
pages: write
id-token: write
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: ⬇️ Checkout
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
with:
persist-credentials: false
- name: Install, build, and upload your site
uses: withastro/action@32474c4384d86fc69c1739a9cddc665769fb88b5 # v4.2.0
deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@d6db90164ac5ed86f2b6aed7e0febac5b3c0c03e # v4.0.5