5 commits

Author	SHA1	Message	Date
Adrian Dvergsdal	b1a6c5245f	Fix push condition	2020-07-17 01:04:42 +02:00
Adrian Dvergsdal	2198c24da3	Improved github actions	2020-07-17 00:51:46 +02:00
Adrian Dvergsdal	bba0f3babe	Fetch tags and checkout submodules	2020-07-15 22:54:58 +02:00
Adrian Dvergsdal	fcf9c8f1ac	Verify either commit or tag	2020-07-15 22:24:28 +02:00
Adrian Dvergdal	5a074ec171	Create GitHub Workflow	2020-07-15 21:43:27 +02:00