Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build (daily, --no-build-cache) #233 failed #7181

Closed
github-actions bot opened this issue Nov 15, 2022 · 2 comments · Fixed by #7183
Closed

Build (daily, --no-build-cache) #233 failed #7181

github-actions bot opened this issue Nov 15, 2022 · 2 comments · Fixed by #7183
Labels
bug Something isn't working

Comments

@github-actions
Copy link
Contributor

See Build (daily, --no-build-cache) #233.

@github-actions github-actions bot added the bug Something isn't working label Nov 15, 2022
@mateuszrzeszutek mateuszrzeszutek linked a pull request Nov 15, 2022 that will close this issue
@trask
Copy link
Member

trask commented Nov 15, 2022

this one is weird, it checked out an old commit?!?? (a4938a7)

should be fixed now by #7169

@trask
Copy link
Member

trask commented Nov 15, 2022

oh, i c, this daily build was originally run before #7169, but then was retriggered manually after it was merged, which is why it had the old commit (from the first run).

I'll see about fixing the automation not to create a new issue when a re-run also fails.

mateuszrzeszutek pushed a commit that referenced this issue Nov 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant