5 commits

Author	SHA1	Message	Date
Matteias Collet	f8e96a2bdb	specify bash shell in workflow	2020-06-29 23:58:10 +02:00
Matteias Collet	27a41cb437	dito	2020-06-29 23:40:11 +02:00
Matteias Collet	bd17c75c2b	update github workflows	2020-06-29 23:38:43 +02:00
Matteias Collet	2092a008f4	update workflow	2020-06-29 23:31:44 +02:00
Matteias Collet	4edec7c4b7	switch from azure-pipelines to github actions	2020-06-29 23:31:44 +02:00