aboutsummaryrefslogtreecommitdiffstats
path: root/.github
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
* update bug report template (#942)1138-4EB2019-09-251-28/+24
* Remove multiple whitespaces from code of conductDominik Salvet2019-06-161-1/+1
* Add a code of conductDominik Salvet2019-06-161-0/+5
* add :z to the docker bind argument1138-4EB2018-06-071-1/+1
* update contributing1138-4EB2018-05-301-1/+1
* add wait statement to bug_report reproduction example1138-4EB2018-05-291-0/+1
* add .github (issue templates)1138-4EB2018-05-264-0/+110