Commits · develop · Martin Cejp / Poly94

19 Jun, 2022 2 commits
- Generate badges with f_max, DMIPS · 49142817
  Martin Cejp authored Jun 19, 2022
  
  49142817
- Minor CI refactoring · 411be651
  Martin Cejp authored Jun 19, 2022
  
  411be651
29 May, 2022 1 commit
- builds.html: Within the same pipeline, show most recent runs first · d12ffb21
  Martin Cejp authored May 29, 2022
```
This only matters when individual jobs are re-run manually
```
  d12ffb21
28 May, 2022 1 commit
- Track CI results in SQL database · b0d7ca40
  Martin Cejp authored May 28, 2022
  
  b0d7ca40