Skip to content

Check every worksheet and solution on each push - #3

Merged
FredMesnard merged 1 commit into
mainfrom
ci/check-worksheets
Aug 6, 2026
Merged

Check every worksheet and solution on each push#3
FredMesnard merged 1 commit into
mainfrom
ci/check-worksheets

Check every worksheet and solution on each push

b945075
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
proofs
succeeded Aug 6, 2026 in 21s