Skip to content

ssreflect: do not forget definedness of pre-existing evars#22138

Open
Janno wants to merge 3 commits into
rocq-prover:masterfrom
Janno:janno/fix-13915
Open

ssreflect: do not forget definedness of pre-existing evars#22138
Janno wants to merge 3 commits into
rocq-prover:masterfrom
Janno:janno/fix-13915

Fix iris failure

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

Annotations

1 warning
Windows
succeeded Jun 18, 2026 in 29m 41s