3 commits

Author	SHA1	Message	Date
Djuri Baars	8b9db4d892	Fix workflow cache option	2023-08-29 15:37:22 +02:00
Djuri Baars	4e5d7e1038	Fix workflow typo	2023-08-29 15:36:16 +02:00
Djuri Baars	7665d46732	Added GitHub workflow	2023-08-29 15:35:33 +02:00