Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: CI: bump dawidd6/action-download-artifact from 2 to 6 #5964

Merged

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Nov 5, 2024

Bumps dawidd6/action-download-artifact from 2 to 6.

Release notes

Sourced from dawidd6/action-download-artifact's releases.

v6

Full Changelog: dawidd6/action-download-artifact@v5...v6

v5

Full Changelog: dawidd6/action-download-artifact@v4...v5

v4

What's Changed

New Contributors

Full Changelog: dawidd6/action-download-artifact@v3...v4

v3.1.4

What's Changed

New Contributors

Full Changelog: dawidd6/action-download-artifact@v3...v3.1.4

v3.1.3

What's Changed

Full Changelog: dawidd6/action-download-artifact@v3.1.2...v3.1.3

v3.1.2

What's Changed

New Contributors

Full Changelog: dawidd6/action-download-artifact@v3.1.1...v3.1.2

v3.1.1

What's Changed

... (truncated)

Commits
  • bf251b5 node_modules: upgrade
  • 93c6296 README: v5
  • deb3bb8 node_modules: upgrade
  • 1d93f37 README: v4
  • 854e2de Set allow_forks to false by default (#290)
  • 436c9d3 build(deps): bump adm-zip from 0.5.12 to 0.5.13 (#289)
  • 1404052 build(deps): bump @​actions/artifact from 2.1.5 to 2.1.7 (#287)
  • 8a9be73 build(deps): bump @​actions/artifact from 2.1.4 to 2.1.5 (#285)
  • df593bb build(deps): bump undici from 5.28.3 to 5.28.4 (#284)
  • 09f2f74 fix: accept expired artifacts with documentation url (#283)
  • 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 <dependency name> 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)

Bumps [dawidd6/action-download-artifact](https://github.com/dawidd6/action-download-artifact) from 2 to 6.
- [Release notes](https://github.com/dawidd6/action-download-artifact/releases)
- [Commits](dawidd6/action-download-artifact@v2...v6)

---
updated-dependencies:
- dependency-name: dawidd6/action-download-artifact
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot requested review from Kha and kim-em as code owners November 5, 2024 10:43
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label Nov 5, 2024
@Kha Kha enabled auto-merge November 5, 2024 10:48
@Kha Kha added this pull request to the merge queue Nov 5, 2024
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Nov 5, 2024
@leanprover-community-bot
Copy link
Collaborator

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 970dc6f7aac1ceb16c5324f0f8c0230dab879fd6 --onto c779f3a039963fd38b03a78f635f0a7c36f24f42. (2024-11-05 11:15:51)

Merged via the queue into master with commit 0181418 Nov 5, 2024
15 of 16 checks passed
@dependabot dependabot bot deleted the dependabot/github_actions/dawidd6/action-download-artifact-6 branch November 5, 2024 11:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants