Delyan Angelov
|
4f1f764485
|
ci: restore .github/workflows/ to its state at cee7856, when all checks were done
|
2022-05-17 10:03:11 +02:00 |
Daniel Däschle
|
c6b0ebe06f
|
ci: require code to be formatted before everything else (minimise CI queue length) (#14396)
|
2022-05-17 10:03:10 +02:00 |
|
Delyan Angelov
|
0866c73f4b
|
Revert "ci: run `code-formatting` job before everything else (try 2) (#14379)"
This reverts commit 0972e67f72.
|
2022-05-13 10:10:39 +02:00 |
|
Daniel Däschle
|
9501866b17
|
ci: run `code-formatting` job before everything else (try 2) (#14379)
|
2022-05-13 10:10:39 +02:00 |
Vincenzo Palazzo
|
4666a27e5f
|
ci: introduce v benchmarks inside the ci workflow (#13949)
|
2022-04-07 12:21:13 +03:00 |
