rocq-prover/Docker-Coq Action
GitHub Action using Docker-Coq
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| opam_file | The path of the .opam file (or a directory), relative to the repo root. | — | . |
| coq_version | "8.X", "latest", "dev", "8.X-native", "latest-native", or "dev-native" | — | latest |
| ocaml_version | "default", "4.02", "4.05", or "4.XX-flambda", see https://github.com/coq-community/docker-coq/wiki#ocaml-versions-policy | — | default |
| before_install | Customizable script run before "install". | — | startGroup "Print opam config" opam config list; opam repo list; opam list endGroup |
| install | Customizable script to install the opam dependencies. | — | startGroup "Install dependencies" sudo apt-get update -y -q opam pin add -n -y -k path $PACKAGE $WORKDIR opam update -y opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only endGroup |
| after_install | Customizable script run after "install". | — | startGroup "List installed packages" opam list endGroup |
| before_script | Customizable script run before the opam build, empty by default. | — | — |
| script | Customizable script run to install the opam package(s). | — | startGroup "Build" opam install -y -v -j 2 $PACKAGE opam list endGroup |
| after_script | Customizable script run after the opam build, empty by default. | — | — |
| uninstall | Customizable script run to uninstall the opam package(s). | — | startGroup "Uninstallation test" opam remove -y $PACKAGE endGroup |
| custom_script | The main script run in the container; may be overridden. | — | {{before_install}} {{install}} {{after_install}} {{before_script}} {{script}} {{after_script}} {{uninstall}} |
| custom_image | The name of the Docker image to pull; unset by default. | — | — |
| export | Space-separated list of env variables to export to the custom_script. | — | — |
Outputs
no outputs