Skip to content
CI

Update ci-libhyps.yml to use coq_makefile #7

Sign in to view logs

Update ci-libhyps.yml to use coq_makefile

Update ci-libhyps.yml to use coq_makefile #7

Triggered via push December 15, 2023 13:37
@MatafouMatafou
pushed 93ef758
master
Status Failure
Total duration 3m 24s
Artifacts –

ci-libhyps.yml

on: push
Matrix: build
tests
1m 18s
tests
Fit to window
Zoom out
Zoom in

Annotations

3 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.
tests
Unexpected input(s) 'run', valid inputs are ['entryPoint', 'args', 'opam_file', 'coq_version', 'ocaml_version', 'before_install', 'install', 'after_install', 'before_script', 'script', 'after_script', 'uninstall', 'custom_script', 'custom_image', 'export']