Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
continuous-integration.yml: disable concurrent_skipping
The default is 'never'. https://github.com/fkirc/skip-duplicate-actions/tree/84931c63f7562abc89860097e0caf563c7b87f65?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.
- Loading branch information