CI: deploy ontology

Author: DylanVanAssche

.github/workflows/build-spec.yaml

@@ -32,21 +32,14 @@ jobs:
         uses: actions/checkout@v4
       - name: Setup Pages
         uses: actions/configure-pages@v5
-      - uses: w3c/spec-prod@v2
-        with:
-          TOOLCHAIN: bikeshed
-
-          # Modify as appropriate
-          GH_PAGES_BRANCH: gh-pages
-
-          # if your doc isn’t in the root folder,
-          # or Bikeshed otherwise can’t find it:
-          SOURCE: spec.bs
-
-          # output filename defaults to your input
-          # with .html extension instead,
-          # but if you want to customize it:
-          DESTINATION: index.html
+      - name: Build spec
+        run: |
+          echo "Installing bikeshed"
+          sudo apt install pipx
+          pipx install bikeshed
+          echo "Building spec"
+          bikeshed spec spec.bs
+          mv spec.html index.html
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:
@@ -55,4 +48,3 @@ jobs:
       - name: Deploy to GitHub Pages
         id: deployment
         uses: actions/deploy-pages@v4
-