Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21478#570

Merged
xavierleroy merged 2 commits into
AbsInt:masterfrom
proux01:rocq21478
Jan 27, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21478#570
xavierleroy merged 2 commits into
AbsInt:masterfrom
proux01:rocq21478

Use different, more consistent variable names

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

The logs for this run have expired and are no longer available.