Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | vars: fix `clever_base_env` by removing a variable if not necessary | Paul Bonaud | 2020-03-24 | 1 | -0/+6 |
| | | | | | | The `CC_RUN_COMMAND` variable was defined in case we use haskell binary as entrypoints. However if the `clever_haskell_entry_point` variable is not defined we shouldn't define the `CC_RUN_COMMAND` env variable. | ||||
* | ci: fix nix version and nix channel version | Paul Bonaud | 2019-11-26 | 1 | -3/+5 |
| | | | | | | | In order to avoid having bad surprises with automatic updates let's fix the nix channel version. For now the default travis behavior is to use `nixpkgs-unstable` (see https://docs.travis-ci.com/user/languages/nix#overview). | ||||
* | Migrate to dhall 1.26.1 and merge types and termsv2.0-test-clementdpolykinds | Clement Delafargue | 2019-10-02 | 1 | -1/+1 |
| | |||||
* | ci: fix nix packages due to Travis nix update to 19.09 packages | Paul Bonaud | 2019-09-06 | 1 | -1/+1 |
| | |||||
* | ci: add shellcheck to lint shell scripts in automatic tests | Paul Bonaud | 2019-07-31 | 1 | -1/+2 |
| | |||||
* | dhall(upgrade): upgrade code to be compatible with dhall 1.21.0 | Paul Bonaud | 2019-04-26 | 1 | -3/+2 |
| | |||||
* | add travis ci step for typechecking dhall | Hussein Ait-Lahcen | 2018-11-20 | 1 | -0/+2 |
| | |||||
* | Install ansible-lint | Gaëtan Duchaussois | 2018-09-21 | 1 | -0/+1 |
| | |||||
* | add ansible-lint test and fix warning | Gaëtan Duchaussois | 2018-09-21 | 1 | -0/+1 |
| | |||||
* | Use Nix for build | Frédéric Menou | 2018-07-08 | 1 | -11/+2 |
| | |||||
* | Update Travis-Slack integration | Frédéric Menou | 2018-04-18 | 1 | -1/+1 |
| | |||||
* | Fix Travis setup | Frédéric Menou | 2018-02-27 | 1 | -0/+3 |
| | |||||
* | Unrelevant webhook for private project | Frédéric Menou | 2018-02-27 | 1 | -1/+0 |
| | | | | Might be useful if we open-source it. | ||||
* | Notify the #machine-room Slack channel | Frédéric Menou | 2018-02-27 | 1 | -0/+1 |
| | |||||
* | add travis file | Gaëtan Duchaussois | 2018-02-22 | 1 | -0/+29 |