[ci] proper cache key
Description
Description
Details
Details
- Committed
frerot Jun 24 2021, 00:17 - Pushed
frerot Jun 24 2021, 00:17 - Parents
- rTAMAAS707ca84943d3: [ci] explicitely installing openmpi in debian image
- Branches
- Unknown
- Tags
[ci] proper cache key
[ci] proper cache key
Authored by frerot on Jun 24 2021, 00:17.
Tags
None
Subscribers
None