Maybe unstuck CI: Try 2

0 jobs for master
yaml invalid error

Found errors in your .gitlab-ci.yml:

  • jobs:coq:8.4 tags should be an array of strings
You can also test your .gitlab-ci.yml in CI Lint