Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq

5067c640 · Ralf Jung · 4ac3b633 · 85f005ea · 5067c640
Commit 5067c640 authored 8 years ago by Ralf Jung
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,7 +10,6 @@ buildjob:
  - 'cat build-log.txt  | egrep "[a-zA-Z0-9_/-]+ \(user: [0-9]" | tee build-time.txt'
  only:
  - master
-  - jh_simplified_resources
  artifacts:
    paths:
    - build-time.txt