Skip to content

docker-coq-action v1.5.0

Latest
Compare
Choose a tag to compare
@erikmd erikmd released this 12 May 15:57
· 4 commits to master since this release
7c98410

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.0Refman: v1.5.0