Skip to content

Conversation

@joewiz
Copy link
Member

@joewiz joewiz commented Jan 25, 2022

@joewiz joewiz force-pushed the enable-github-actions branch 2 times, most recently from 008f176 to a4dc0da Compare January 25, 2022 02:06
@joewiz joewiz force-pushed the enable-github-actions branch from a4dc0da to 2f2b953 Compare January 25, 2022 02:20
@joewiz
Copy link
Member Author

joewiz commented Jan 25, 2022

I seem to recall that the important CI runs here ("push") are passing - and that the failing ones ("pull_request") won't matter once the PR is merged.

@joewiz joewiz requested a review from a team January 25, 2022 02:42
@adamretter adamretter merged commit 1d473b6 into master Jan 25, 2022
@joewiz joewiz deleted the enable-github-actions branch January 25, 2022 15:48
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.

3 participants