a5e30f1203
- Gives a better overview of CI and the different checks, without going into the logs too deeply. - Cache: use a unique key for each run, and remove 'restore key' since it could potentially retrieve the wrong bitstream. The stragegy should be to fail if a cache is not present, not fetch a bitstream from a different build. |
||
|---|---|---|
| .. | ||
| ci.yaml | ||