aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows/push.yml
Commit message (Expand)AuthorAgeFilesLines
* enable synth by default (#1102)eine2020-03-011-9/+13
* GHA: fix windows jobs (#1106)eine2020-01-201-4/+7
* ci: update installation of GNAT GPL on macOS (#1072)eine2020-01-081-1/+7
* Actions: add workflow 'push' (#1016)1138-4EB2019-11-211-0/+76