Skip to content

fix(deps): update github.com/tum-dev/gocast/runner digest to 56591c8 … #2347

fix(deps): update github.com/tum-dev/gocast/runner digest to 56591c8 …

fix(deps): update github.com/tum-dev/gocast/runner digest to 56591c8 … #2347

Workflow file for this run

name: Deploy Docs to GitHub Pages
on:
push:
branches:
- dev
jobs:
build:
name: Build Docusaurus
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
with:
fetch-depth: 0
- uses: actions/setup-node@48b55a011bda9f5d6aeb4c2d9c7362e8dae4041e # v6
with:
node-version: 24
- name: Install dependencies
run: npm install
working-directory: ./docs_v2
- name: Build website
run: npm run build
working-directory: ./docs_v2
- name: Upload Build Artifact
uses: actions/upload-pages-artifact@fc324d3547104276b827a68afc52ff2a11cc49c9 # v5
with:
path: ./docs_v2/build
deploy:
name: Deploy to GitHub Pages
needs: build
if: github.ref == 'refs/heads/dev'
# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
permissions:
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
# Deploy to the github-pages environment
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
runs-on: ubuntu-latest
steps:
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@cd2ce8fcbc39b97be8ca5fce6e763baed58fa128 # v5