Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ci(bump): bump nix version to avoid certificate error | Gaëtan Duchaussois | 2021-10-25 | 1 | -1/+1 |
| | |||||
* | travis: use recent nixpkgs channel (20.09) to install dependencies | Paul Bonaud | 2020-10-06 | 1 | -12/+9 |
| | |||||
* | travis: Use encrypted token for slack notifications | Paul Bonaud | 2020-10-05 | 1 | -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+ compatibility | Paul Bonaud | 2020-08-13 | 1 | -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 server | Paul Bonaud | 2020-01-02 | 1 | -2/+5 |
| | |||||
* | ci: use latest version of Nix binaries and latest Ansible nix pkgs | Paul Bonaud | 2020-01-02 | 1 | -1/+9 |
| | |||||
* | upgrade dhall to 1.26.1 and merge types and termspolykinds | Clement Delafargue | 2019-10-03 | 1 | -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.0 | Paul Bonaud | 2019-04-26 | 1 | -1/+1 |
| | |||||
* | add dhall interface | Hussein Ait-Lahcen | 2018-11-20 | 1 | -0/+2 |
| | |||||
* | Use Nix for build | Frédéric Menou | 2018-07-08 | 1 | -10/+2 |
| | |||||
* | add travis configuration and fix tests | Gaëtan Duchaussois | 2018-04-20 | 1 | -0/+32 |