-
Notifications
You must be signed in to change notification settings - Fork 701
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
cabal-head prerelase date and commit are not updated #10537
Open
Labels
Comments
1 task
1 task
mergify bot
added a commit
that referenced
this issue
Dec 19, 2024
CI: remove cabal-head before updating it (fix #10537)
1 task
mergify bot
added a commit
that referenced
this issue
Dec 21, 2024
#10657) * CI: remove cabal{,-lts}-head before updating it (fix #10537) (cherry picked from commit 9949014) * The release cleanup action requires a token (cherry picked from commit ad266b1) --------- Co-authored-by: Artem Pelenitsyn <[email protected]> Co-authored-by: brandon s allbery kf8nh <[email protected]>
after several attempts at fixing it, it's still not right for some reason... |
Right, would be great to try it out. I don't think I'll have time for it any time soon though :-( /cc @TeofilC |
This was referenced Jan 17, 2025
TeofilC
added a commit
that referenced
this issue
Jan 20, 2025
Previously only the artifacts would be replaced and all the other information would stay the same as the original nightly release. Resolves #10537
TeofilC
added a commit
that referenced
this issue
Jan 20, 2025
Previously only the artifacts would be replaced and all the other information would stay the same as the original nightly release. Resolves #10537
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Follow-up on #10515
The new release action doesn't update the date on the prerelease itself nor the commit it says was used to create the prerelease. It only updates the binaries and that's it...
(0d80d52 is from October 3rd.)
We probably should explicitly remove the old prerelease before calling the release action (e.g. via https://github.com/marketplace/actions/delete-a-release).
The text was updated successfully, but these errors were encountered: