Skip to content

Conversation

PallHaraldsson
Copy link

No description provided.

@PallHaraldsson
Copy link
Author

Hi, @davidanthoff I did notice some activity, you "merged 13 hours ago", but it seems unrelated and my PR not yet in. So I'm not sure why I got notified.

Possibly the "28 cancelled, 1 failing" is a false negative.

@davidanthoff
Copy link
Member

I just merged master, but there seems still some problem, in some other package. I'm trying to clean things up right now.

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