Merging #11 (360be3d) into master (4e7727e) will not change coverage.
The diff coverage is n/a.
:exclamation: Current head 360be3d differs from pull request most recent head 32ad5de. Consider uploading reports for the commit 32ad5de to get more accurate results
Description
This changes options in the CI.yaml to hopefully fix caching not working and to prevent pull requests from being checked twice
Status