aboutsummaryrefslogtreecommitdiffstats
path: root/dist/ci-run.sh
Commit message (Expand)AuthorAgeFilesLines
* 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