Julian Ospald c4912f010d Switch releases to Github CI		2022-11-09 21:18:21 +08:00
..
scripts	Switch releases to Github CI	2022-11-09 21:18:21 +08:00
workflows	Switch releases to Github CI	2022-11-09 21:18:21 +08:00
release.yaml	Switch to github actions wrt #178 and #159	2021-07-13 15:42:20 +02:00