Skip to content

Update copyright notice in LICENSE file #6

Update copyright notice in LICENSE file

Update copyright notice in LICENSE file #6

Workflow file for this run

name: Deploy to GitHub Pages
on:
push:
branches: [main]
workflow_dispatch:
permissions:
contents: read
pages: write
id-token: write
concurrency:
group: 'pages'
cancel-in-progress: true
jobs:
build-and-deploy:
runs-on: ubuntu-latest
environment:
name: github-pages
url: ${{ steps.deployment.outputs.page_url }}
steps:
- uses: actions/checkout@v7
- name: Prepare deployment
run: |
mkdir -p ./_site
cp -r docs/* ./_site/
mkdir -p ./_site/workshop
cp -r workshop/* ./_site/workshop/
touch ./_site/.nojekyll
- uses: actions/configure-pages@v6
- uses: actions/upload-pages-artifact@v5
with:
path: _site
- name: Deploy to GitHub Pages
id: deployment
uses: actions/deploy-pages@v5
- name: Validate deployed pages
env:
WORKSHOP_SITE_URL: ${{ vars.WORKSHOP_SITE_URL || steps.deployment.outputs.page_url }}
run: python3 scripts/validate_deployment.py