Skip to content
CI

Same player try again. #13

Sign in to view logs

Same player try again.

Same player try again. #13

Triggered via push December 17, 2023 15:01
@MatafouMatafou
pushed 1aa8bb5
master
Status Success
Total duration 2m 15s
Artifacts –

ci-libhyps.yml

on: push
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

8 warnings
build (coqorg/coq:8.18): LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
build (coqorg/coq:dev): LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (coqorg/coq:8.18): LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (coqorg/coq:8.18): Demo/demo.v#L63
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (coqorg/coq:8.18): Demo/demo.v#L82
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (coqorg/coq:dev): LibHyps/LibHypsTactics.v#L33
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (coqorg/coq:dev): Demo/demo.v#L63
Tactic Notation revert dependent (hyp) is deprecated since 8.18.
test (coqorg/coq:dev): Demo/demo.v#L82
Tactic Notation revert dependent (hyp) is deprecated since 8.18.