Skip to content

GitLab

P
prosa

make CI run faster on development branches 

Don't need all the jobs for work-in-progress branches.
0 jobs for !3 with split-classic-ci-2
latest yaml invalid error detached
23325807 23325807f5cd0f04ec107c48fba03b7d4dc40279
1 related merge request: !3 Test: make CI run faster on development branches

Found errors in your .gitlab-ci.yml:

  • validate: needs '1.9.0-coq-8.10' proof-state: needs '1.9.0-coq-8.10'
You can also test your .gitlab-ci.yml in CI Lint