diff options
| -rw-r--r-- | .github/workflows/gen.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/gen.yml b/.github/workflows/gen.yml index 5c20fff..c11ac27 100644 --- a/.github/workflows/gen.yml +++ b/.github/workflows/gen.yml @@ -31,7 +31,7 @@ jobs: run: cd docs/ && ./gen.sh - name: Generate std map run: | - sudo apt install python + sudo apt install python3 cd std/ && ./generate_map.py >../docs/std_map.json - name: Upload artifact uses: actions/upload-pages-artifact@v1 |