Skip to content

[runtest] list failing files#1032

Merged
fdupress merged 1 commit into
mainfrom
runtest-list-errors
Jun 5, 2026
Merged

[runtest] list failing files#1032
fdupress merged 1 commit into
mainfrom
runtest-list-errors

Conversation

@fdupress
Copy link
Copy Markdown
Member

@fdupress fdupress commented Jun 4, 2026

This should make it easier to identify failing scripts in CI logs.

@fdupress fdupress requested a review from strub June 4, 2026 14:20
@fdupress fdupress self-assigned this Jun 4, 2026
@fdupress fdupress force-pushed the runtest-list-errors branch from bc26014 to 29394f9 Compare June 4, 2026 14:51
@fdupress fdupress added this pull request to the merge queue Jun 5, 2026
Merged via the queue into main with commit 053ee6e Jun 5, 2026
19 checks passed
@fdupress fdupress deleted the runtest-list-errors branch June 5, 2026 11:09
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