make CI run faster on development branches
Don't need all the jobs for work-in-progress 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'
Don't need all the jobs for work-in-progress branches.