Skip to content

Implement basic reporting facility#18

Merged
xermicus merged 8 commits intomainfrom
cl/report
May 23, 2025
Merged

Implement basic reporting facility#18
xermicus merged 8 commits intomainfrom
cl/report

Conversation

@xermicus
Copy link
Member

This PR implements a basic reporting facility which helps finding and debugging failing tests as well as creating statistic about the test run.

Right now only concerns compiler tasks since differential testing is not yet implemented.

Closes #15

xermicus added 8 commits May 21, 2025 18:44
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
Signed-off-by: Cyrill Leutwiler <bigcyrill@hotmail.com>
@xermicus xermicus added this pull request to the merge queue May 23, 2025
Merged via the queue into main with commit 10bfaed May 23, 2025
3 checks passed
@xermicus xermicus deleted the cl/report branch May 23, 2025 17:15
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.

Implement a reporting facility

1 participant