Fixing ci-libhyps.yml #8
Annotations
1 error and 1 warning
|
|
|
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
The logs for this run have expired and are no longer available.
Loading