after_script:
- $CI_MANAGERS/debian.sh CLEANUP
- - name: Ubuntu Xenial
- language: bash
- script:
- - set -e
- - sudo $CI_MANAGERS/xenial.sh
- - set +e
-
- - name: FuzzBuzz
- language: bash
- script:
- - set -e
- - $CI_MANAGERS/fuzzbuzz.sh
- - set +e
-
- stage: Coverity
language: bash
env: