Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | ci: update installation of GNAT GPL on macOS (#1072) | eine | 2020-01-08 | 1 | -13/+16 |
* | ci: fix gnat-gpl download URL (#1071) | eine | 2020-01-08 | 1 | -2/+2 |
* | style: install-ada | 1138-4EB | 2019-02-04 | 1 | -34/+31 |
* | travis-ci: move tests driver to buildtest.sh, clean cache before setting it. | Tristan Gingold | 2017-08-18 | 1 | -1/+2 |
* | travis-ci: investigate gnat-gpl install issue | Tristan Gingold | 2017-08-17 | 1 | -0/+1 |
* | travis-ci: fix fold (again?) and macos-x | Tristan Gingold | 2017-08-17 | 1 | -3/+5 |
* | travis-ci: try build on macos x | Tristan Gingold | 2017-08-17 | 1 | -0/+56 |