Quentin Gliech 47280025a3 ci: split the coverage jobs into a separate workflow ...

Also have a better message when the generated files are not up to date.

2023-06-20 17:41:29 +02:00

..

ci.yaml

ci: split the coverage jobs into a separate workflow

2023-06-20 17:41:29 +02:00

coverage.yaml

ci: split the coverage jobs into a separate workflow

2023-06-20 17:41:29 +02:00

docs.yaml

build(deps): bump actions/upload-pages-artifact from 1.0.8 to 1.0.9

2023-06-19 10:37:24 +02:00