Replies: 1 comment 1 reply
-
Jazzy is now required. Please fix the CI before making any other changes to this repo. |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I just auto-merged a PR despite there being a failure in the Jazzy CI action.
Turns out this job is not marked as required in this repo.
@MatthijsBurgh can you set this up?
Beta Was this translation helpful? Give feedback.
All reactions