Delyan Angelov
|
3a09ccc80a
|
ci: restore .github/workflows/ to its state at cee7856, when all checks were done
|
2022-05-15 10:23:12 +03:00 |
Daniel Däschle
|
f0d46413d9
|
ci: require code to be formatted before everything else (minimise CI queue length) (#14396)
|
2022-05-14 15:38:15 +03:00 |
|
Delyan Angelov
|
df029da942
|
Revert "ci: run `code-formatting` job before everything else (try 2) (#14379)"
This reverts commit 0972e67f72.
|
2022-05-12 23:29:37 +03:00 |
|
Daniel Däschle
|
0972e67f72
|
ci: run `code-formatting` job before everything else (try 2) (#14379)
|
2022-05-12 21:58:11 +03:00 |
Vincenzo Palazzo
|
4666a27e5f
|
ci: introduce v benchmarks inside the ci workflow (#13949)
|
2022-04-07 12:21:13 +03:00 |