fix

privacycg · Mar 15, 2024 · 99e0800 · 99e0800
1 parent bd45ad8
commit 99e0800
Show file tree

Hide file tree

Showing 4 changed files with 498 additions and 3 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -21,9 +21,9 @@ jobs:
     - uses: actions/checkout@v4
     - uses: actions/setup-python@v5
       with:
-        python-version: '3.12'
         cache: 'pip'
     - run: pip install -r requirements.txt
+    - run: bikeshed update
     - run: make
     - uses: actions/upload-pages-artifact@v3
       with:

diff --git a/.python-version b/.python-version
@@ -0,0 +1 @@
+3.12
diff --git a/Makefile b/Makefile
@@ -10,5 +10,4 @@ clean:
 
 build/index.html: spec.bs Makefile
 	mkdir -p build
-	bikeshed update
-	bikeshed --die-on=warning spec
+	bikeshed --die-on=warning spec $< $@