Skip to content

Adapt to rocq/22157 (CI inventory)#282

Merged
proux01 merged 2 commits into
rocq-prover:masterfrom
proux01:rocq22157
Jun 25, 2026
Merged

Adapt to rocq/22157 (CI inventory)#282
proux01 merged 2 commits into
rocq-prover:masterfrom
proux01:rocq22157

[CI] Remove ceres, itree-io, parsec, async-test, json and http

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

Annotations

1 warning
rocq-core
succeeded Jun 24, 2026 in 1m 0s