Skip to content

Conversation

michaelpj
Copy link

I'm not sure how to tell if this has worked, but I think it should...

@michaelpj
Copy link
Author

Hmm, it looks like the CI jobs actually run on this PR too, so let's see if they actually run and pass...

@michaelpj
Copy link
Author

Okay, it went green, so I think it's okay.

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