Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21849#122

Merged
proux01 merged 3 commits into
rocq-community:masterfrom
proux01:rocq21849
Apr 24, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21849#122
proux01 merged 3 commits into
rocq-community:masterfrom
proux01:rocq21849

Adapt to https://github.com/rocq-prover/rocq/pull/21849

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

Annotations

1 error and 1 warning
stdlib
failed Apr 24, 2026 in 42s