3 commits

Author	SHA1	Message	Date
Djuri Baars	252f709c49	Workflow fix	2023-11-30 22:05:31 +01:00
Djuri Baars	7050ba7683	Fix refactored GitHub workflow	2023-11-30 21:57:01 +01:00
Djuri Baars	4ada3334c5	Refactor workflow action to enable pull request workflow	2023-11-30 21:19:50 +01:00