Skip to content

Conversation

ruizb
Copy link

@ruizb ruizb commented Mar 21, 2023

I'd like to have a look at the failed job on CI, since the one from #976 expired.

@ruizb ruizb marked this pull request as ready for review March 21, 2023 12:57
@ruizb ruizb closed this Mar 21, 2023
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.

1 participant