Skip to content

Put trakt back in CI#22137

Merged
coqbot-app[bot] merged 3 commits into
rocq-prover:masterfrom
ckeller:master
Jun 19, 2026
Merged

Put trakt back in CI#22137
coqbot-app[bot] merged 3 commits into
rocq-prover:masterfrom
ckeller:master

Fix trakt script

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

Annotations

1 warning
Linux (latest OCaml)
succeeded Jun 17, 2026 in 7m 43s