Generate pages results during deployment

SMT-COMP · Jul 9, 2024 · ac8866a · ac8866a
1 parent bbb9c5b
commit ac8866a
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 2 deletions.
diff --git a/.github/workflows/deploy-website.yaml b/.github/workflows/deploy-website.yaml
@@ -51,11 +51,21 @@ jobs:
           key: pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
       - name: Set up the environment
         uses: ./.github/actions/setup-poetry-env
+      #For smtcomp data cache
+      - uses: actions/cache@v3
+        id: data-cache
+        with:
+          path: data/*.feather
+          key: data-cache-${{ hashFiles('data/*.json.gz') }}
+      - name: Cache generation if needed
+        if: steps.data-cache.outputs.cache-hit != 'true'
+        run: |
+          poetry run make cache
       # Generate files using smtcomp tool
       - name: Files generation
         run: |
           pip install json-schema-for-humans
-          poetry run make submission-doc
+          poetry run make submission-doc generation
       ###
       - name: Setup Pages
         id: pages

diff --git a/.gitignore b/.gitignore
@@ -172,4 +172,4 @@ schema_doc.min.js
 *.feather
 tmp/
 /web/public/
-/web/content/results/*.md
+/web/content/results/*.md