-
Notifications
You must be signed in to change notification settings - Fork 27
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
chore: Add a bot to update github actions #197
Conversation
@bitdivine Can you rebase and try again? The problem should be fixed with #200 |
Thank you for looking, @ielashi . I hit the update button and got the same CI error, however I note that that button creates a merge, not a rebase. Rebased locally and hard pushed. Waiting.. Ok, done, but the error is the same. |
@ielashi I have added you to the branch repository, by the way, so that you have permission to rebase or experiment in case that is useful. |
|
@bitdivine The issue is now (finally!) fixed :) |
Motivation
CI is emitting warnings about outdated GitHub actions. Updating GitHub actions is a chore, but Dependabot can reduce the workload by creating PRs to update actions.
Note: Humans still need to review the updates, so this reduces but does not remove the maintenance effort.
Changes
Tests