- 30 Jan, 2018 1 commit
-
-
Cosimo Lupo authored
* Allow to specify a custom $CONFIG_PATH * need to also pass to the docker container
-
- 18 Jun, 2016 1 commit
-
-
Matthew Brett authored
-
- 17 Jun, 2016 2 commits
-
-
Matthew Brett authored
-
Matthew Brett authored
Make configuration more general. Move responsibility for source futzing back to the travis.yml file, because we are now doing only one build per job.
-
- 16 Jun, 2016 2 commits
-
-
Matthew Brett authored
-
Matthew Brett authored
-
- 15 Jun, 2016 1 commit
-
-
Matthew Brett authored
-
