Skip to content

Merge pull request #128 from Richy1111/patch-15 #45

Merge pull request #128 from Richy1111/patch-15

Merge pull request #128 from Richy1111/patch-15 #45

Workflow file for this run

# This is a basic workflow to help you get started with Actions
name: Build and Deploy Documentation
# Controls when the workflow will run
on:
# Triggers the workflow on push or pull request events but only for the master branch
push:
branches: [main]
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
# This workflow contains a single job called "build"
build:
# The type of runner that the job will run on
runs-on: ubuntu-latest
# Steps represent a sequence of tasks that will be executed as part of the job
steps:
- name: Checkout your repository using git
uses: actions/checkout@v4
- name: Install, build, and upload your site output
uses: withastro/action@v1
with:
node-version: 20.3.0
package-manager: [email protected]
deploy:
needs: build
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
permissions:
id-token: write
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v1
with:
token: ${{ secrets.INTERSECTBOT_PAGES_TOKEN }}