aboutsummaryrefslogtreecommitdiffstats
path: root/dist/ci-run.sh
Commit message (Collapse)AuthorAgeFilesLines
* enable synth by default (#1102)eine2020-03-011-14/+9
| | | | | | | | * enable synth by default * ci: disable synth for the GPL builds * deprecate Ubuntu 16, use Ubuntu 18 in Travis
* Adjust version check in ci-run.shTristan Gingold2020-02-291-4/+5
|
* ci: use DESTDIR instead of PREFIX (#1104)eine2020-01-201-10/+10
|
* ci: the URL to retrieve GCC sources has changed (#1084)eine2020-01-121-2/+3
|
* ci: update installation of GNAT GPL on macOS (#1072)eine2020-01-081-10/+7
| | | | | | | | * ci: move 'install-ada' to YAML files * ci: update Xcode to 10 * ci: update GNAT to 2019
* Actions: add workflow 'push' (#1016)1138-4EB2019-11-211-0/+476
* use CC=clang to build C sources on macOS * actions: ensure that shared libs are in the PATH on windows * ci: add GitHub Actions 'push' workflow * ci: fix group labels * dist: add GRAY to ansi_color * ci: use same scripts for GHA and Travis