Git-Mirrors/tillitis-key
1
0
Fork 0
mirror of https://github.com/tillitis/tillitis-key1.git synced 2024-12-26 16:09:42 -05:00
Code Issues Packages Projects Releases Wiki Activity
b4c525695a
tillitis-key/.github
History
dehanj a5e30f1203
CI: Divide into separate jobs. 
- 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.
2024-04-19 12:16:41 +02:00
..
workflows CI: Divide into separate jobs. 2024-04-19 12:16:41 +02:00