|
Ran
|
Jobs
0
|
Files
0
|
Run time
–
|
Badge
README BADGES
|
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.