search

oliver-butterley / lean-update

The action attempts to update Lean and Mathlib. If an update is available then the updated version is tested. This allows for automatic committing of the updated project, opening PRs or opening issues.
MIT License
6 stars 2 forks source link

fix: bump tj-actions/verify-changed-files from 18 to 20 #1

Closed dependabot[bot] closed 6 months ago

dependabot[bot] commented 6 months 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.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

New Contributors

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

v20.0.0

... (truncated)

Changelog

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

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)

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] (ad99e81) - (dependabot[bot])

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

Bumps actions/checkout from 4.1.1 to 4.1.2.

updated-dependencies:

  • dependency-name: actions/checkout

... (truncated)

Commits
  • ab87580 Updated README.md (#417)
  • 22100c2 docs: add Larspolo as a contributor for code, test, and doc (#416)
  • 6a0d0b6 Added support for fail-if-unchanged (#395)
  • 64d825d Merge pull request #415 from tj-actions/chore/update-readme
  • cf5696c Updated README.md
  • 3b18de8 feat: add support for optionally reading the .gitignore file (#412)
  • 531dd1d Updated README.md (#414)
  • 51ebb35 Merge pull request #413 from tj-actions/renovate/tj-actions-glob-22.x
  • 5beffcb chore(deps): update tj-actions/glob action to v22
  • fd85a60 chore(deps): update actions/checkout digest to 0ad4b8f
  • 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)