BacLuc / ecamp3 / 9780448743 / 3

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.

0 of 63 branches covered (0.0%)

Branch coverage included in aggregate %.

0 of 3181 relevant lines covered (0.0%)

0.0 hits per line