Merge branch 'main' into parse_statement

metamath · Sep 12, 2024 · a14ee15 · a14ee15
2 parents dedc621 + 716577c
commit a14ee15
Show file tree

Hide file tree

Showing 41 changed files with 2,775 additions and 1,026 deletions.
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -46,7 +46,9 @@ jobs:
         run: cargo clippy --all-targets --all-features -- -D warnings
       - name: Format
         run: cargo fmt -- --check
+      - name: Docs
+        run: cargo doc --lib --no-deps
       - name: Verify official set.mm
         run: |
-          curl -s -G https://raw.githubusercontent.com/metamath/set.mm/master/set.mm > set.mm
-          cargo run -- --jobs 8 set.mm --verify --grammar --parse-stmt --verify-parse-stmt
+          curl -s -G https://raw.githubusercontent.com/metamath/set.mm/develop/set.mm > set.mm
+          cargo run -- --jobs 8 set.mm --verify --grammar --parse-stmt --verify-parse-stmt --verify-markup --parse-typesetting