Commit 81a673c6 authored by Ralf Jung's avatar Ralf Jung

CI config: run CI on all branches starting with 'CI'

parent eb0c6948
...@@ -21,8 +21,7 @@ iris-coq8.6: ...@@ -21,8 +21,7 @@ iris-coq8.6:
- opamroot/ - opamroot/
only: only:
- master - master
- ci - /^ci/
- timing
artifacts: artifacts:
paths: paths:
- build-time.txt - build-time.txt
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment