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

Remove ignored PHPstan found issues #2320

Merged
merged 5 commits into from
Feb 10, 2024
Merged

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Feb 8, 2024

@nickygerritsen can you look at f1626e2

@vmcj vmcj force-pushed the clean_baseline_20240203 branch from 795e7e4 to 6c21d59 Compare February 9, 2024 23:24
@vmcj vmcj marked this pull request as ready for review February 9, 2024 23:24
vmcj added 5 commits February 10, 2024 12:07
We don't store the result for the statistics (there we only pick valid
judgings) but do display judgings which can be aborted. This adds a
color for it.
Verified by looking at the code or dumping one of the resulting objects.

If we can have:
array{0_string, ?, 1_string?: ?...} so array of length 3 but with
strings as index we can further limit some of those findings.

We remove the rank if you're not in the top x%, which leads to the empty
string instead of rank number

For the problems we have a copy of the overall array in one key as we
allow different formats. This can be simplified.
This is always going to be ugly as the event can have different shapes
even within the same EventFeedFormat, together with the minor changes
between formats.
@vmcj vmcj force-pushed the clean_baseline_20240203 branch from 6c21d59 to 358684e Compare February 10, 2024 11:18
@vmcj vmcj changed the title Clean baseline 20240203 Remove ignored PHPstan found issues Feb 10, 2024
@vmcj vmcj added this pull request to the merge queue Feb 10, 2024
Merged via the queue into DOMjudge:main with commit 696cfd0 Feb 10, 2024
21 checks passed
@vmcj vmcj deleted the clean_baseline_20240203 branch February 10, 2024 11: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.

2 participants