Skip to content

ci: set default shell for fixing the workflows#598

Merged
gcroci2 merged 1 commit intomainfrom
fix_workflows_gcroci2
Mar 20, 2024
Merged

ci: set default shell for fixing the workflows#598
gcroci2 merged 1 commit intomainfrom
fix_workflows_gcroci2

Conversation

@gcroci2
Copy link
Copy Markdown
Collaborator

@gcroci2 gcroci2 commented Mar 20, 2024

No description provided.

@gcroci2 gcroci2 merged commit 524f232 into main Mar 20, 2024
@gcroci2 gcroci2 deleted the fix_workflows_gcroci2 branch March 20, 2024 09:21
@coveralls
Copy link
Copy Markdown

Coverage Status

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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants