Closed dpo closed 5 years ago
After the PR successfully builds, it can take up to five minutes for the tagged release to appear. That's my best guess as to what happened.
Unless it took a lot longer than that, I don't know what happened.
Did you merge PR 40?
How did you close this issue?
I fixed up the commit message.
@sjackman I'm extremely confused. PR #40 built correctly but
So I couldn't
brewsci-pull
it. I closed it and opened this new PR. And to my surprise:Something seems to be a bit off.