Merge branch 'main' of https://github.com/teorth/equational_theories

teorth · Oct 5, 2024 · 92d063b · 92d063b
2 parents 317d1db + 6e385e3
commit 92d063b
Show file tree

Hide file tree

Showing 7 changed files with 3,302 additions and 1 deletion.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -11,6 +11,7 @@ on:
       - 'home_page/**'
       - 'home'
       - '**/generate_dashboard.py'
+      - '**/generate_equation_implication_js.py'
       - 'lean-toolchain'
       - 'lakefile.toml'
       - 'lake-manifest.json'
@@ -24,6 +25,7 @@ on:
       - 'home_page/**'
       - 'home'
       - '**/generate_dashboard.py'
+      - '**/generate_equation_implication_js.py'
       - 'lean-toolchain'
       - 'lakefile.toml'
       - 'lake-manifest.json'
@@ -134,6 +136,11 @@ jobs:
           ~/.elan/bin/lake exe extract_implications outcomes equational_theories --hist > /tmp/hist.json
           python scripts/generate_dashboard.py /tmp/hist.json
 
+      - name: Generate home_page/implications/implications.js
+        run: |
+          ~/.elan/bin/lake exe extract_implications outcomes > /tmp/out.json
+          python scripts/generate_equation_implication_js.py /tmp/out.json
+
       - name: Bundle dependencies
         if: github.event_name == 'push'
         uses: ruby/setup-ruby@v1