diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 78fc74522c8235e3d777f9aadcbbf51432549b3a..ba21168484a86cc48c30e6d33afbde04d120d40c 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -21,7 +21,7 @@ variables: paths: - _opam/ only: - - master@gaeher/refinedrust-dev + - main@gaeher/refinedrust-dev - /^ci/@gaeher/refinedrust-dev - /^time/@gaeher/refinedrust-dev except: @@ -37,7 +37,7 @@ build-coq.8.17.0-timing: DENY_WARNINGS: "1" OPAM_PKG: "1" only: - - master@gaeher/refinedrust-dev + - main@gaeher/refinedrust-dev - /^time/@gaeher/refinedrust-dev # timing only for master and time/ branches tags: