sync gitlab file

ac32c3e2 · Ralf Jung · 7fce938a · ac32c3e2
Commit ac32c3e2 authored Oct 31, 2019 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +1 -0

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,6 +26,7 @@ variables:
  except:
  - triggers
  - schedules
+  - api

 ## Build jobs
 build-coq.8.9.1: