chore/dev: Retire dead CI config and modernize the Go build - #91
Closed
janhartman wants to merge 1 commit into
Closed
chore/dev: Retire dead CI config and modernize the Go build#91janhartman wants to merge 1 commit into
janhartman wants to merge 1 commit into