chiark / gitweb /
package/ci: assign unique IDs to builds.
authorVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jan 2018 11:55:18 +0000 (12:55 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Thu, 18 Jan 2018 11:55:18 +0000 (12:55 +0100)
So I can display them in the build status.

package/ci/travis.yml

index 7107ba4d885e2de3444424493a3cb1f7eafeccd2..efcfe935acae9782d08488d97013e37d1540ac70 100644 (file)
@@ -6,15 +6,15 @@ matrix:
     - python: 3.4
       env:
       - WITH_DOXYGEN=OFF
-      addons:
-        apt:
-          packages:
+      - JOBID=py34
     - python: 3.5
       env:
       - WITH_DOXYGEN=OFF
+      - JOBID=py35
     - python: 3.6
       env:
       - WITH_DOXYGEN=ON
+      - JOBID=py36
 
 install:
   # 2.10 has some weird behavior, putting a lot of empty lines into the output