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.

Sign up for GitHub

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

Jump to bottom

show update in progress #1508

Merged

dzhou121 merged 2 commits into master from update_in_progress

Oct 13, 2022

Collaborator

dzhou121 commented Oct 13, 2022 •

edited

Added an entry to CHANGELOG.md if this change could be valuable to users

dzhou121 added 2 commits

October 13, 2022 19:37


          show update in progress

65328c6


          update changelog

1a392bd

dzhou121 merged commit 0e11264 into master

dzhou121 deleted the update_in_progress branch

October 13, 2022 18:38

panekj mentioned this pull request

"restart_to_update" action doesnt work. #1512

Closed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment