2 Commits

Author	SHA1	Message	Date
Wim	80eb1cd202	Fix duplicate name in workflow	2020-06-24 22:37:46 +02:00
Wim	bbf594c815	Use github workflows	2020-06-24 22:36:47 +02:00