Skip to content

Conversation

@wz1000
Copy link
Collaborator

@wz1000 wz1000 commented Mar 5, 2021

They are still failing.

/cc @pepeiborra

@pepeiborra
Copy link
Collaborator

yah, fixing them is a work in progress, but I don't have time to look into it now

@wz1000 wz1000 added the merge me Label to trigger pull request merge label Mar 5, 2021
@berberman berberman merged commit 19207ef into master Mar 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants