Skip to content

Improve runner#90

Merged
camillobruni merged 2 commits intoWebKit:mainfrom
camillobruni:2023-03-09_cleanup__recordTestResults
Mar 9, 2023
Merged

Improve runner#90
camillobruni merged 2 commits intoWebKit:mainfrom
camillobruni:2023-03-09_cleanup__recordTestResults

Conversation

@camillobruni
Copy link
Contributor

@camillobruni camillobruni merged commit ddd75e2 into WebKit:main Mar 9, 2023
@camillobruni camillobruni deleted the 2023-03-09_cleanup__recordTestResults branch March 9, 2023 08:21
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