diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5172ed40848d733ddc9e5ba18482949a0ab498ab..0e1b7fa1d9cd48c4757c4084700622a7fdad32fd 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,7 +2,6 @@ image: ralfjung/opam-ci:latest stages: - build - - reverse-deps variables: CPU_CORES: "10" @@ -32,16 +31,7 @@ variables: - /^ci/ except: - triggers - -reverse-deps: - stage: reverse-deps - script: - # Send a trigger to reverse dependencies to have them tested - - curl --fail -X POST -F "token=$IRIS_EXAMPLES_SECRET" -F "ref=master" -F "variables[IRIS_REV]=$CI_COMMIT_SHA" https://gitlab.mpi-sws.org/api/v4/projects/615/trigger/pipeline - only: - - master - except: - - triggers + - schedules ## Build jobs