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