mseri / BET

Project for "Machine-Checked Mathematics" at the Lorentz Center
Apache License 2.0
6 stars 5 forks source link

chore: bump tj-actions/verify-changed-files from 18 to 20 #40

Closed dependabot[bot] closed 1 month ago

dependabot[bot] commented 1 month ago

Bumps tj-actions/verify-changed-files from 18 to 20.

Release notes

Sourced from tj-actions/verify-changed-files's releases.

v20

Changes in v20.0.1

What's Changed

Full Changelog: https://github.com/tj-actions/verify-changed-files/compare/v20...v20.0.1


Changes in v20.0.0

🔥 🔥 BREAKING CHANGE 🔥 🔥

  • Upgrade tj-actions/glob action to v22

🚀 🚀 NEW FEATURES 🚀 🚀

  • Optionally prevent reading the .gitgnore file when detecting uncommitted changes using the read-gitignore input.
  • Fail a job when no uncommitted files can be found using the fail-if-unchanged input.

What's Changed

... (truncated)

Changelog

Sourced from tj-actions/verify-changed-files's changelog.

20.0.1 - (2024-05-12)

🐛 Bug Fixes

  • Bug resolving windows paths (#426) (6ed7632) - (Tonye Jack)

📝 Other

  • PR #425: update actions/checkout digest to 0ad4b8f (145beec) - (repo-ranger[bot])
  • PR #419: update tj-actions/verify-changed-files action to v20 (1be855c) - (repo-ranger[bot])

⚙️ Miscellaneous Tasks

  • deps: Update actions/checkout digest to 0ad4b8f (5628468) - (renovate[bot])
  • deps: Update actions/checkout digest to 44c2b7a (33133ed) - (renovate[bot])
  • deps: Update actions/checkout action to v4.1.5 (fd8a2d1) - (renovate[bot])
  • deps: Update codacy/codacy-analysis-cli-action action to v4.4.1 (25c37eb) - (renovate[bot])
  • deps: Update tj-actions/verify-changed-files action to v20 (868d3fd) - (renovate[bot])

⬆️ Upgrades

  • Upgraded to v20 (#418)

Co-authored-by: jackton1 17484350+jackton1@users.noreply.github.com (07a43bb) - (tj-actions[bot])

20.0.0 - (2024-05-04)

🚀 Features

  • Add support for optionally reading the .gitignore file (#412) (3b18de8) - (Tonye Jack)

📦 Bumps

  • Bump actions/checkout from 4.1.1 to 4.1.2 (#399)

Bumps actions/checkout from 4.1.1 to 4.1.2.


updated-dependencies:

  • dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-patch ...

Signed-off-by: dependabot[bot] support@github.com Co-authored-by: dependabot[bot] (22cfc44) - (dependabot[bot])

  • Bump actions/checkout from 4.1.1 to 4.1.2 (#397)

... (truncated)

Commits
  • 6ed7632 fix: bug resolving windows paths (#426)
  • 145beec Merge pull request #425 from tj-actions/renovate/actions-checkout-digest
  • 5628468 chore(deps): update actions/checkout digest to 0ad4b8f
  • 33133ed chore(deps): update actions/checkout digest to 44c2b7a
  • fd8a2d1 chore(deps): update actions/checkout action to v4.1.5
  • 25c37eb chore(deps): update codacy/codacy-analysis-cli-action action to v4.4.1
  • 1be855c Merge pull request #419 from tj-actions/renovate/tj-actions-verify-changed-fi...
  • 868d3fd chore(deps): update tj-actions/verify-changed-files action to v20
  • 07a43bb Upgraded to v20 (#418)
  • ab87580 Updated README.md (#417)
  • Additional commits viewable 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)