Some code was merged without being fmt-compliant. This PR runs `go fmt ./...` and adds a test to github workflows to verify that pull requests are fmt-compliant.