diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 55b4da719..fe376431e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -87,6 +87,9 @@ matrix: - TEST_TARGET="ci-geocoq" - if: NOT (type = pull_request) env: + - TEST_TARGET="ci-fcsl-pcm" + - if: NOT (type = pull_request) + env: - TEST_TARGET="ci-fiat-crypto" - if: NOT (type = pull_request) env: |