Skip to content

Conversation

@mydea
Copy link
Member

@mydea mydea commented Nov 9, 2022

As these jobs are currently required to merge PRs.
We should figure out a better solution for this, but for now this unblocks merging PRs.

As these are currently required to merge PRs.
We should figure out a better solution for this, but for now this unblocks merging PRs.
@mydea mydea added the Dev: CI label Nov 9, 2022
@mydea mydea requested a review from a team November 9, 2022 11:56
@mydea mydea self-assigned this Nov 9, 2022
@mydea mydea requested review from Lms24, lforst and lobsterkatie and removed request for a team and lforst November 9, 2022 11:56
Copy link
Member

@AbhiPrasad AbhiPrasad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

✅ to unblock CI!

@mydea mydea merged commit a99d894 into master Nov 9, 2022
@mydea mydea deleted the fn/always-run-required-ci-jobs branch November 9, 2022 12:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants