Skip to content

Adapt to rocq/22137 (add Trakt to CI)#280

Merged
proux01 merged 2 commits into
rocq-prover:masterfrom
proux01:ci-trakt
Jun 19, 2026
Merged

Adapt to rocq/22137 (add Trakt to CI)#280
proux01 merged 2 commits into
rocq-prover:masterfrom
proux01:ci-trakt

Adapt to rocq/22137 (add Trakt to CI)

23a80e8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
stdlib-warnings
succeeded Jun 19, 2026 in 3m 59s