Need to b e able to update cache

utensil · Oct 6, 2024 · e8f1832 · e8f1832
1 parent 0f7187b
commit e8f1832
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 6 deletions.
diff --git a/.github/workflows/aya.yml b/.github/workflows/aya.yml
@@ -23,7 +23,9 @@ jobs:
         uses: actions/cache@v4
         with:
             path: github-pages
-            key: github-pages
+            key: github-pages-${{ github.run_id }}
+            restore-keys: |
+              github-pages
       - uses: extractions/setup-just@v1
         with:
           just-version: 1.35.0

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -38,11 +38,13 @@ jobs:
           uses: actions/checkout@v4
         - name: Setup Pages
           uses: actions/configure-pages@v5
-        - name: Restore github-pages cache
+        - name: Cache github-pages
           uses: actions/cache@v4
           with:
               path: github-pages
-              key: github-pages
+              key: github-pages-${{ github.run_id }}
+              restore-keys: |
+                github-pages
         - name: Display structure of downloaded files
           run: ls -R github-pages
         - name: Upload artifact

diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
@@ -45,7 +45,9 @@ jobs:
         uses: actions/cache@v4
         with:
             path: github-pages
-            key: github-pages
+            key: github-pages-${{ github.run_id }}
+            restore-keys: |
+              github-pages
       - name: Install Python
         uses: actions/setup-python@v5
         with:

diff --git a/README.md b/README.md
@@ -2,5 +2,9 @@
 
 My monorepo for formalization:
 
-* [Lean 4 Playground](./lean4/README.md) [![Lean 4 CI](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml)
-* [Aya Playground](./aya/README.md) [![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
+- [![Lean 4 CI](https://github.com/utensil/formal-land/actions/workflows/lean4.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/lean4.yml)
+  - [README.md](./lean4/README.md)
+  - website: [lean4](https://utensil.github.io/formal-land/lean4/)
+- [![Aya CI](https://github.com/utensil/formal-land/actions/workflows/aya.yml/badge.svg)](https://github.com/utensil/formal-land/actions/workflows/aya.yml)
+  - [README.md](./aya/README.md)
+  - website: [literate.aya](https://utensil.github.io/formal-land/aya/literate.aya.html)