search

coq-community / run-coq-bug-minimizer

Repository for triggering runs of the Coq bug minimizer using GitHub Actions [maintainer=@JasonGross]
MIT License
2 stars 0 forks source link

Bump coq-community/docker-coq-action from 1.4.1 to 1.5.0 #34

Closed dependabot[bot] closed 6 months ago

dependabot[bot] commented 6 months ago

Bumps coq-community/docker-coq-action from 1.4.1 to 1.5.0.

Release notes

Sourced from coq-community/docker-coq-action's releases.

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: https://github.com/coq-community/docker-coq-action/compare/v1.4.1...v1.5.0 − Refman: v1.5.0

Commits
  • 7c98410 Enable usage of GHA environment-files commands (#90)
  • 89cff67 docs: Document export: 'COQ_IMAGE' along with a test (#92)
  • fa005f5 feat: export COQ_IMAGE (#89)
  • 0a636bc chore(coq-demo.yml): Bump some coq versions
  • 1c523ff fix(coq-demo.yml): s/latest-coq-8.15/latest-coq-8.17/
  • See full diff in compare view


Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)