BacLuc / ecamp3 / 9780448743 / 1

58%

devel: 31%

push

github

continuous-integration.yml: disable concurrent_skipping

The default is 'never'.
https://github.com/fkirc/skip-duplicate-actions/tree/84931c63f?tab=readme-ov-file#concurrent_skipping

Reason: the skipped checks of push or pull_request finish before the other.
If the other fails, we have a PR with failed checks in the devel branch.

290 of 359 branches covered (80.78%)

Branch coverage included in aggregate %.

3193 of 3710 relevant lines covered (86.06%)

55.93 hits per line