Ensure that the linters and builds pass before merging a PR #7

Merged
Adrien merged 18 commits from ci/add-checks-on-mr into develop 2025-05-02 07:41:58 +00:00
Showing only changes of commit d29a3a0821 - Show all commits

View File

@@ -22,5 +22,5 @@ steps:
when: when:
- event: pull_request - event: pull_request
- event: push # - event: push
branch: ${CI_REPO_DEFAULT_BRANCH} # branch: ${CI_REPO_DEFAULT_BRANCH}