docker-coq-action v1.5.0

New features:

• Make it possible to read variable COQ_IMAGE=Docker image name in CI script (PR #89 by @JasonGross)
• Enable usage of GitHub Actions environment-files commands (PR #90 by @JasonGross and @erikmd)
  → This allows the use of >> "$GITHUB_ENV", >> "$GITHUB_OUTPUT", and >> "$GITHUB_STEP_SUMMARY" to pass information to subsequent steps.

Documentation:

• Document export: 'COQ_IMAGE' along with a test (PR #92 by @erikmd)

Full Changelog: v1.4.1...v1.5.0 − Refman: v1.5.0

docker-coq-action v1.4.1

Bugfixes:

• Add -y flag to opam remove command in uninstall: field (PR #78, #79 by @liyishuai)
• Use actions/checkout@v3 instead of actions/checkout@v2 (PR #81, by @erikmd)
• Skip docker pull $COQ_IMAGE if it locally exists, e.g. after a first GHA step using docker-coq-action (PR #82 by @erikmd)

Changelog: v1.4.0...v1.4.1 − Refman: v1.4.1

docker-coq-action v1.4.0

Feature:

• Replace support of ocaml_version: "minimal" with that of ocaml_version: "default" (PR #75 by @erikmd)

Changelog: v1.3.1...v1.4.0 − Refman: v1.4.0

docker-coq-action v1.3.1

Bugfix & Documentation:

• Adapt to PR coq-community/docker-coq#47 [all Docker-Coq images are now single-switch] (PR #39 by @erikmd)

Warning:

• Deprecate ocaml_version: "minimal" [raise a GitHub Actions warning; to be removed on 2022-06-27 AOE] (PR #39 by @erikmd)

docker-coq-action v1.3.0

Feature:

• Allow automatic install of system dependencies (needs opam 2.1), always do apt-get update -y -q in install step (PR #74 by @palmskog)

CI:

• Add cron job for {coq-demo.yml, python-demo.yml} (PR #72 by @erikmd)

and miscellaneous chores.

Changelog: v1.2.4...v1.3.0 − Refman: v1.3.0

docker-coq-action v1.2.4

Bugfix:

• The customizable scripts couldn't contain single-quotes because of the previous interpolation function (PR #41 by @erikmd)
  → related fields: before_install, install, after_install, before_script, script, after_script, uninstall

Enhancement:

• Add CI test-suite for docker-coq-action, to automatically test and document typical workflows (PR #60 by @erikmd)

Documentation:

• Simplify the actions.yml comments, adding a permalink to docker-coq tags documentation (PR #44 by @erikmd)
• Refactor & Extend the Readme, documenting more use cases & pitfalls (PR #56 by @Bruno-366, and #61, #38, #62 by @erikmd)
• and some minor PR-free changes.

Changelog: v1.2.3...v1.2.4 − Refman: v1.2.4

docker-coq-action v1.2.3

Bugfix:

• Fix entrypoint.sh (ocaml_version > 4.09-flambda was ignored) (PR #43 by @erikmd)

Documentation:

• Update the list of possible values for ocaml_version in the README (PR #42 by @erikmd)

Changelog: v1.2.2...v1.2.3 − Refman: v1.2.3

docker-coq-action v1.2.2

Bugfix:

• Add missing addGroup in entrypoint.sh & Fix typo in default uninstall field (PR #37 by @erikmd)

Changelog: v1.2.1...v1.2.2 − Refman: v1.2.2

docker-coq-action v1.2.1

Bugfix:

• Move startGroup/endGroup constructs to individual fields (PR #35 by @erikmd)
  → this slightly changes defaults values w.r.t. v1.2.0, but this is fully backward-compatible w.r.t. v1.1.0, and this makes it possible to customize group titles (by using startGroup "Group title" in individual fields) without needing to override custom_script.

Technical documentation:

• Add comments in helper.sh (PR #36 by @erikmd)

Changelog: v1.2.0...v1.2.1 − Refman: v1.2.1

docker-coq-action v1.2.0

Bugfix:

• Prepend 'exec 2>&1' to custom_script to untangle output (PR #32 by @erikmd)

Documentation:

• Add sudo-chown example & fail-fast remark (PR #30 by @erikmd)

New Features:

• Add feature to export env variables (PR #31 by @erikmd)
• Split custom_script to enhance the customization experience (PR #33 by @erikmd)
  → custom_script now interpolates {{before_install}}, {{install}}, {{after_install}}, {{before_script}}, {{script}}, {{after_script}}, {{uninstall}}

Changelog: v1.1.0...v1.2.0 − Refman: v1.2.0