Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2021-07-19 | Only trigger travis build on pushes to master | Andrew Waterman | 1 | -0/+3 | |
2021-05-03 | Travis CI: Remove deprecated 'sudo' key | Ewout ter Hoeven | 1 | -1/+0 | |
The 'sudo' key is deprecated by Travis CI and has no effect anymore | |||||
2021-05-03 | Travis CI: Update build environment to Ubuntu 20.04 Focal | Ewout ter Hoeven | 1 | -1/+1 | |
Updates the Travis CI build environment from Ubuntu 14.04 (Trusty Tahr), which is end-of-life, to to Ubuntu 20.04 (Focal Fossa). | |||||
2020-04-06 | Update .travis.yml (#502) | Neel Gala | 1 | -1/+1 | |
2020-03-26 | fixing api_key format | Neel Gala | 1 | -2/+1 | |
2020-03-26 | using dplv2 for releases | Neel Gala | 1 | -1/+2 | |
2019-03-21 | Revoke old access token and use env variable going forward | Andrew Waterman | 1 | -1/+1 | |
2018-05-23 | Build PDFs of the specs when master branch is pushed | Andrew Waterman | 1 | -0/+18 | |