See downstream issue for details: https://github.com/ziglang/zig/issues/1960
Try updating your
.build.ymlto check out zig without the
.gitat the end of the URL.
Thanks - that fixed it. I'll leave this issue open with the feature request that if this mistake is made, the CI fails with an error message telling how to fix the yml
Also, it's not always in error. Sometimes people submit build manifests that don't actually need to clone the repo they're a member of.
The issue is that this is a poor user experience:
- fill in a valid looking git URL into the
- enable thepull requestdispatch
- things appear to be working, but find out several weeks later that thepull request -> builddispatch hook is actually building master branch and not pull requests
Must I have a solution in mind for this to be an open todo item?
I suppose that the GItHub-specific integration can deal with the GitHub-specific .git postfixes