aboutsummaryrefslogtreecommitdiffstats
path: root/dist/ci-run.sh
Commit message (Expand)AuthorAgeFilesLines
* ci: adjust pkg tag in ci-run.sh (#1329)umarcor2020-05-201-3/+3
* rework 'version.tmp' (#1320)umarcor2020-05-201-10/+1
* Constants in vpi (#1297)Ben Reynwar2020-05-101-1/+2
* 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