Skip to content

update documentation and bump itauto to 9.1 - #533

Open
Justme0606 wants to merge 1 commit into
rocq-prover:mainfrom
Justme0606:feat/documentation-9.1
Open

update documentation and bump itauto to 9.1#533
Justme0606 wants to merge 1 commit into
rocq-prover:mainfrom
Justme0606:feat/documentation-9.1

update documentation and bump itauto to 9.1

8202ba2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 7 warnings
Macos (9.1~2026.01)
succeeded Jul 23, 2026 in 1h 45m 37s