| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
|
|
|
|
|
|
|
|
|
|
| |
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).
|
| |
|
| |
|
|
|
|
|
| |
Previously, types were flattened and terms were nested (as are the
directories). For consistency, I made the types nested as well.
|
| |
|
| |
|
| |
|
|
|