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

ci: set default shell for fixing the workflows #598

Merged

gcroci2 merged 1 commit into main from fix_workflows_gcroci2

Mar 20, 2024

Collaborator

gcroci2 commented Mar 20, 2024

No description provided.


          set default shell for fixing actions

f75c2a0

gcroci2 merged commit 524f232 into main

5 checks passed

gcroci2 deleted the fix_workflows_gcroci2 branch

March 20, 2024 09:21

coveralls commented Mar 20, 2024

coverage: 84.071%. remained the same
when pulling f75c2a0 on fix_workflows_gcroci2
into ef4dd33 on main.

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

Labels

None yet