Closed valassi closed 3 months ago
add PR number to github cache for the CI
i now have three PR CIs running at the same time, they will create different conflicting caches, this should be avoided if possible
See https://docs.github.com/en/actions/learn-github-actions/contexts#github-context
I prototypesd this in PR #794
This is implemented in PR #794, which will son be merged. Closing
add PR number to github cache for the CI
i now have three PR CIs running at the same time, they will create different conflicting caches, this should be avoided if possible