Thanks to visit codestin.com
Credit goes to github.com

Skip to content

[CI] Remove manual saving of cache on failure#115

Merged
giordano merged 1 commit into
mainfrom
mg/cache
Mar 9, 2026
Merged

[CI] Remove manual saving of cache on failure#115
giordano merged 1 commit into
mainfrom
mg/cache

Conversation

@giordano
Copy link
Copy Markdown
Collaborator

@giordano giordano commented Mar 9, 2026

Follow up to #114.

@giordano giordano added the github_actions Pull requests that update GitHub Actions code label Mar 9, 2026
@giordano giordano merged commit 7372b9a into main Mar 9, 2026
3 checks passed
@giordano giordano deleted the mg/cache branch March 9, 2026 20:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant