Merge branch 'main' into verify_definitions

tirix · Jun 1, 2024 · ca1e4af · ca1e4af
2 parents 80490fe + 251c70c
commit ca1e4af
Show file tree

Hide file tree

Showing 27 changed files with 904 additions and 141 deletions.
diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
@@ -46,6 +46,8 @@ 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/develop/set.mm > set.mm