Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ci: add job to check PR label requirements #8

Closed
wants to merge 5 commits into from

Conversation

florianesser
Copy link
Owner

No description provided.

@florianesser florianesser force-pushed the ci/check-challenge-label branch 3 times, most recently from 990cb24 to 3b755f5 Compare May 28, 2024 10:28
@florianesser florianesser force-pushed the ci/check-challenge-label branch from 3b755f5 to 603c089 Compare May 28, 2024 10:33
@florianesser florianesser force-pushed the ci/check-challenge-label branch 2 times, most recently from 3efc971 to dda8117 Compare May 28, 2024 10:38
Copy link

This PR cannot be merged yet because a required label is missing: challenged. It needs to be added before this PR can be merged.

@florianesser florianesser force-pushed the ci/check-challenge-label branch from dda8117 to 9111665 Compare May 28, 2024 10:46
@florianesser florianesser force-pushed the ci/check-challenge-label branch from d235881 to f10cf24 Compare May 28, 2024 13:56
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.

1 participant