aboutsummaryrefslogtreecommitdiffstats
path: root/dist/ci-run.sh
Commit message (Expand)AuthorAgeFilesLines
* enable synth by default (#1102)eine2020-03-011-14/+9
* 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
* Actions: add workflow 'push' (#1016)1138-4EB2019-11-211-0/+476