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.

Sign up for GitHub

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

Jump to bottom

chore: upgrade cache action to silence warnings #5003

Merged
merged 1 commit into from
Aug 12, 2024
Merged

chore: upgrade cache action to silence warnings #5003

merged 1 commit into from
Aug 12, 2024

Conversation

hargoniX
Copy link
Contributor

@hargoniX hargoniX commented Aug 12, 2024 •
edited
Loading

According to the release notes of cache this should not break anything as they merely upgraded the node version.

@hargoniX hargoniX requested a review from nomeata August 12, 2024 15:33
@hargoniX hargoniX requested review from Kha and kim-em as code owners August 12, 2024 15:33
@hargoniX hargoniX enabled auto-merge August 12, 2024 15:35
@github-actions github-actions bot temporarily deployed to lean-lang.org/lean4/doc August 12, 2024 15:43 Inactive
@hargoniX hargoniX added this pull request to the merge queue Aug 12, 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 Aug 12, 2024
@leanprover-community-mathlib4-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 dc3eccdf26691d642040ea8dff6a1c7fdf153163 --onto 5f31e938c1bf5bb2d6d2d29b26ea932ade115357. (2024-08-12 15:49:40)

Merged via the queue into master with commit ecb3579 Aug 12, 2024
15 checks passed
@Kha
Copy link
Member

Kha commented Aug 12, 2024

Can we get save-always: true pls? :)

@hargoniX hargoniX mentioned this pull request Aug 13, 2024
Merged
github-merge-queue bot pushed a commit that referenced this pull request Aug 13, 2024
@hargoniX
feat: use save-always in cache action (#5010)
74f9dea 
Follows up on
#5003 (comment)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nomeata nomeata nomeata approved these changes

@Kha Kha Awaiting requested review from Kha

@kim-em kim-em Awaiting requested review from kim-em kim-em is a code owner

Assignees
No one assigned
Labels
toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@hargoniX @leanprover-community-mathlib4-bot @Kha @nomeata