Skip to content

test 1.8#6187

Closed
randomicecube wants to merge 3 commits into
INRIA:masterfrom
randomicecube:dirty-waters-tests
Closed

test 1.8#6187
randomicecube wants to merge 3 commits into
INRIA:masterfrom
randomicecube:dirty-waters-tests

Conversation

@randomicecube
Copy link
Copy Markdown

goal: cache being used (not being for some reason)

@I-Al-Istannen
Copy link
Copy Markdown
Collaborator

I have no idea what your problem is, but I assume you have looked at cache inheritance for GitHub actions?

@randomicecube
Copy link
Copy Markdown
Author

I have, I'm not exactly sure what the issue is/was with the other PR not using cache, because as you can see, randomicecube#2 uses cache without issues.
From what I could see in the logs, the key used for cache retrieval was being the correct one (based on the previous commit's SHA), but it wasn't storing it with the current commit's SHA for some odd reason -- it is really odd, because in other projects it seems to be going fine. I'll update it to v1.8 in the original PR, to check if it works

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants