6 Commits

Author	SHA1	Message	Date
Luis Díaz Más	13ecfbc233	Update ubuntu-latest tag to ubuntu-22.04 (#2439) ... * Update ubuntu-latest tag to ubuntu-22.04 Everytime a CI service such a GitHub actions update the images corresponding to their 'latest' tags, pipelines tend to have some hipcups due to changes in the distribution default packages. By fixing the images to a specific one, we should be more resilient to changes in the Github actions environment. * Use same build directory used in CMake presets	2022-12-23 08:36:47 +01:00
Miloš Komarčević	4915a6ba8c	CI: improved in-progress job canceling	2022-11-09 16:17:38 +01:00
Miloš Komarčević	8001807f4d	CI: cancel running jobs on updates	2022-07-26 23:14:05 -07:00
Miloš Komarčević	7aae68e34e	Update CI actions (#2143)	2022-03-11 15:46:43 +01:00
Luis Díaz Más	18ba4e575c	ci: Do not run CI jobs on documentation changes	2022-02-14 17:47:45 +01:00
Kevin Backhouse	5bfa568b63	Add OSS-Fuzz status badge and CIFuzz integration.	2021-08-17 17:47:17 +01:00