CI

Fixing ci-libhyps.yml #8

Sign in to view logs

Triggered via push December 15, 2023 16:52

Matafou

master

Status Failure

Total duration 4m 2s

Artifacts –

ci-libhyps.yml

on: push

Matrix: build

Annotations

1 error and 3 warnings

Process completed with exit code 127.

build (coqorg/coq:dev): LibHyps/LibHypsTactics.v#L33

Tactic Notation revert dependent (hyp) is deprecated since 8.18.

build (coqorg/coq:8.18): LibHyps/LibHypsTactics.v#L33

Tactic Notation revert dependent (hyp) is deprecated since 8.18.

tests: LibHyps/LibHypsTactics.v#L33

Tactic Notation revert dependent (hyp) is deprecated since 8.18.