Skip to content

Conversation

@plemarquand
Copy link
Contributor

Reverts #1933

@plemarquand plemarquand added the full-test-run Perform a full test suite run. Apply this label before pushing up a PR or commit label Nov 20, 2025
@plemarquand plemarquand merged commit 93ed7ef into main Nov 20, 2025
25 checks passed
@plemarquand plemarquand deleted the revert-1933-colorized-test-run branch November 20, 2025 17:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

full-test-run Perform a full test suite run. Apply this label before pushing up a PR or commit

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants