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)
commitc1709958eeda21c9ce2f2e8b318fd69cf2325003
tree4caa1f717316dd98b7728eddc4587ec7b1848280
parent5f1cedd9f118006717a6a6f4ab0bf79bdc6e1bfb
package/ci: assign unique IDs to builds.

So I can display them in the build status.
package/ci/travis.yml