Peter Hutterer c59730cf1f Replace Circle Ci with github workflows ... It has a better integration to github (to no-ones suprise), even though its use of docker containers isn't as convenient. Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>		2021-01-25 14:02:12 +10:00
..
main.yml	Replace Circle Ci with github workflows	2021-01-25 14:02:12 +10:00