aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows
Commit message (Expand)AuthorAgeFilesLines
* ci: minor style change in push workflow (#1147)eine2020-03-021-6/+2
* 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
* Update doc (#1003)1138-4EB2019-11-111-0/+9