Skip to content

Fix test following https://github.com/rocq-prover/stdlib/pull/254

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

Fix test following https://github.com/rocq-prover/stdlib/pull/254 #255

Fix test following https://github.com/rocq-prover/stdlib/pull/254
e66e349
Select commit
Loading
Failed to load commit list.

Annotations

2 errors
Job log options

This job was cancelled