6 Commits

Author	SHA1	Message	Date
Daniel Däschle	d81fbb1ccd	ci: only run on master (#14476)	2022-05-20 18:27:35 +03:00
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