auto-publish.yml

name: Auto-Publish
on:
  push:
    branches: [main]

permissions:
  contents: read
  pages: write
  id-token: write

# Allow one concurrent deployment
concurrency:
  group: pages
  cancel-in-progress: true

jobs:
  main:
    name: Compile and deploy
    runs-on: ubuntu-20.04

    steps:
      - uses: actions/checkout@v2
      - run: pip install bikeshed
      
      - name: Set up Node.js
        uses: actions/setup-node@v4
        with:
          node-version: 20

      - name: Run bikeshed
        run: |
          bikeshed spec
          mkdir dist
          cp *.html dist
          cp -r v?.?.?_images dist
          cp -r v?.?.?-errata_images dist
          cp -r images dist
          
      - name: Upload artifact
        uses: actions/upload-pages-artifact@v1
        with:
          path: ./dist

      - name: Deploy to GitHub Pages
        id: deployment 
        uses: w3c/spec-prod@v2
        with:
          GH_PAGES_BRANCH: main
          TOOLCHAIN: bikeshed
          SOURCE: index.bs
          DESTINATION: index.html
          VALIDATE_MARKUP: false