julia
Print results of `runtests` with `printstyled`
#55780
Merged

Print results of `runtests` with `printstyled` #55780

giordano merged 1 commit into master from mg/runtests-printstyled
giordano
giordano giordano added testsystem
giordano giordano added bugfix
giordano giordano requested a review from IanButterworth IanButterworth 1 year ago
IanButterworth
IanButterworth commented on 2024-09-15
giordano Print results of `runtests` with `printstyled`
8b4d8ba4
giordano giordano force pushed from 7f81a583 to 8b4d8ba4 1 year ago
IanButterworth
IanButterworth approved these changes on 2024-09-15
IanButterworth IanButterworth added merge me
giordano giordano merged a993cd8f into master 1 year ago
giordano giordano deleted the mg/runtests-printstyled branch 1 year ago
DilumAluthge DilumAluthge removed merge me

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone