Skip to content

Conversation

@woodruffw
Copy link
Member

In principle, this will unbreak our CI coverage.

Signed-off-by: William Woodruff <[email protected]>
Signed-off-by: William Woodruff <[email protected]>
@woodruffw woodruffw marked this pull request as ready for review April 25, 2024 17:11
@woodruffw woodruffw self-assigned this Apr 25, 2024
@woodruffw woodruffw added the github_actions Pull requests that update Github_actions code label Apr 25, 2024
@woodruffw woodruffw merged commit 88004f4 into master Apr 25, 2024
@woodruffw woodruffw deleted the ww/unbork-cov branch April 25, 2024 17:11
@MikeMcQuaid
Copy link
Member

Nice work @woodruffw!

@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 27, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

github_actions Pull requests that update Github_actions code outdated

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants