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

enable dependabot for GitHub actions #14

Merged

sloede merged 1 commit into main from ranocha-patch-1

Feb 22, 2023

Member

ranocha commented Feb 22, 2023

This allows us to get updates for GitHub actions automatically.


          enable dependabot for GitHub actions

2ee8767

This allows us to get updates for GitHub actions automatically.

ranocha requested a review from sloede

February 22, 2023 13:26

coveralls commented Feb 22, 2023

Coverage: 93.191% (+0.0%) from 93.191% when pulling 2ee8767 on ranocha-patch-1 into c335977 on main.

sloede approved these changes

View reviewed changes

sloede merged commit e295d89 into main

sloede deleted the ranocha-patch-1 branch

February 22, 2023 19:22

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

Labels

None yet