diff options
Diffstat (limited to '.github/workflows/gen.yml')
| -rw-r--r-- | .github/workflows/gen.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/gen.yml b/.github/workflows/gen.yml index 202af05..5e4ac2b 100644 --- a/.github/workflows/gen.yml +++ b/.github/workflows/gen.yml @@ -29,6 +29,10 @@ jobs: run: cd docs/ && mkdocs build - name: Generate std run: cd docs/ && ./gen.sh + - name: Generate std map + run: + | sudo apt install jq + | cd std/ && ./generate_map.sh >../docs/std_map.json - name: Upload artifact uses: actions/upload-pages-artifact@v1 with: |