3ac9208364
ci: increase timeout on cache misses + switch some caches to github ( #34056 )
...
* cache
* test ns
* try this
* try
* try now?
* bp
* bp agian
* fix
* remove
* test
* try
* fix
* fix
* regen cache
* fix
6 months ago
4d57211300
Update actions to replace deprecated versions ( #32246 )
...
actions/cache@v3 uses the deprecated Node.js 16 so update to
use v4 which uses Node.js 20. This also applies to save and
restore
old-commit-hash: ba2538c29c
1 year ago
aedba00f13
gha: remove trailing spaces ( #31872 )
...
remove trailing spaces
old-commit-hash: c1d0d35f8b
1 year ago
83975756ba
fix cache permissions ( #31084 )
...
* fix cache permissions
* chown
old-commit-hash: 18467c8383
1 year ago
960f6d0a63
CI: fix post run cache ( #31078 )
...
* post cache only
* fix
* newline
* really github???
old-commit-hash: c907dd9e70
1 year ago
aba5ee6a44
CI: auto-cache add option to save cache ( #31076 )
...
* save cache option
* inputs
old-commit-hash: bbbe94bc3e
1 year ago
Maxime Desroches
Andrew Goodbody
Justin Newberry