chore: CI: check for consistent subverso versions in manifests

leanprover · Mar 21, 2024 · 6889f4d · 6889f4d
1 parent f3a479d
commit 6889f4d
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -47,6 +47,12 @@ jobs:
           jobSummary: true
           args: --base './_out/examples/demosite' --no-progress --offline './_out/examples/demosite/**/*.html'
 
+      - name: Check for consistent Subverso versions in all manifests
+        run: |
+          echo "Subverso versions:"
+          find . -name lake-manifest.json -print0 | xargs -0 jq '.packages[] | select(.name == "subverso") | {"file": input_filename, "subverso": .rev}'
+          find . -name lake-manifest.json -print0 | xargs -0 jq -e -s 'map(.packages[] | select(.name == "subverso").rev) | .[0] as $x | all(.[]; . == $x)'
+
       - name: Install PDF Dependencies
         run: sudo apt update && sudo apt install -y pandoc texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-luatex fonts-dejavu
 

diff --git a/examples/website-examples/lake-manifest.json b/examples/website-examples/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/subverso.git",
    "type": "git",
    "subDir": null,
-   "rev": "fe51c0e6ddc68758f425c901551cd7fddf70913e",
+   "rev": "771681e14ea506d41aa0c6969ba3a34727d64ab0",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",