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

Add validation for platform strings to exclude_parser.py #5651

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

jiekang
Copy link
Contributor

@jiekang jiekang commented Sep 26, 2024

Fixes: #5650

@jiekang jiekang marked this pull request as draft September 26, 2024 01:27
@jiekang
Copy link
Contributor Author

jiekang commented Sep 26, 2024

@smlambert Would appreciate your thoughts here on the approach before I exit Draft.

And maybe I need to update the GH actions somewhere to fail when this exits with code 1?
And are there other things I can validate while I'm here?

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.

Update exclude_parser.py to error when ProblemList format has issues
1 participant