Iustin Pop 3c537a17e2 Modernise the CI workflow ...

Switch to more recent versions of the checkout and codecov action, the
latter also removing saving the data locally, so remove the archival
of that data.

2023-04-18 20:47:08 +02:00

..

ci.yml

Modernise the CI workflow

2023-04-18 20:47:08 +02:00

codeql-analysis.yml

Fixup workflows after master->main rename

2023-04-18 20:43:05 +02:00