fix deployment

zksecurity · Oct 15, 2024 · 773980c · 773980c
1 parent f48d988
commit 773980c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/check_n_deploy.yml b/.github/workflows/check_n_deploy.yml
@@ -33,7 +33,7 @@ jobs:
           BASE_URL: "/RFCs"
         run: |
           just setup
-          just build
+          just deploy
 
       - name: Deploy
         uses: peaceiris/actions-gh-pages@v3

diff --git a/justfile b/justfile
@@ -6,6 +6,9 @@ setup:
 build:
     python md2respec.py --output-path rfcs/ --recursive ./source/
 
+deploy:
+    python m2respec.py --output-path . --recursive ./source/
+
 debug-build:
     python md2respec.py --pure-html source/starknet/fri.md