See downstream issue for details: https://github.com/ziglang/zig/issues/1960
Try updating your
.build.yml
to check out zig without the.git
at 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
Where should that error message go?
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
sources
field- enable the "pull request" dispatch
- things appear to be working, but find out several weeks later that the "pull request -> build" dispatch 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