Update ci-libhyps.yml to use coq_makefile #7
Annotations
1 warning
|
Run coq-community/docker-coq-action@v1
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']
|
The logs for this run have expired and are no longer available.
Loading