Same player try again. #13
Annotations
3 warnings
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
Run coq-community/docker-coq-action@v1:
Demo/demo.v#L63
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
|
Run coq-community/docker-coq-action@v1:
Demo/demo.v#L82
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
|
The logs for this run have expired and are no longer available.
Loading