aboutsummaryrefslogtreecommitdiffhomepage
path: root/.travis.yml
Commit message (Collapse)AuthorAgeFilesLines
* travis: use recent nixpkgs channel (20.09) to install dependenciesPaul Bonaud2020-10-061-12/+9
|
* travis: Use encrypted token for slack notificationsPaul Bonaud2020-10-051-0/+6
| | | | | | | | | | | | This commit adds a notification on slack for travis builds. The token is encrypted using the repository key with the `travis` CLI: ``` travis encrypt "<user>:<token>" --add notifications.slack.rooms ``` cf documentation https://docs.travis-ci.com/user/notifications/#configuring-slack-notifications
* dhall: BREAKING CHANGE update dhall config for 1.33+ compatibilityPaul Bonaud2020-08-131-1/+1
| | | | | | | | | | | Since dhall 1.33.0 lang version the `Optional/fold` function is removed from the language and can be replaced by the usage of the `merge` function which now works on Optional values 🎉 since 1.29 https://github.com/dhall-lang/dhall-haskell/pull/1608 This new code is thus not compatible with versions of dhall <1.29.0 (due to the new feature of the `merge` fonction).
* tests: fake a Kong serverPaul Bonaud2020-01-021-2/+5
|
* ci: use latest version of Nix binaries and latest Ansible nix pkgsPaul Bonaud2020-01-021-1/+9
|
* upgrade dhall to 1.26.1 and merge types and termspolykindsClement Delafargue2019-10-031-1/+1
| | | | | Previously, types were flattened and terms were nested (as are the directories). For consistency, I made the types nested as well.
* dhall(upgrade): upgrade code to be compatible with dhall 1.21.0Paul Bonaud2019-04-261-1/+1
|
* add dhall interfaceHussein Ait-Lahcen2018-11-201-0/+2
|
* Use Nix for buildFrédéric Menou2018-07-081-10/+2
|
* add travis configuration and fix testsGaëtan Duchaussois2018-04-201-0/+32