Skip to content

Also report time for failed tests#34

Merged
maleadt merged 1 commit intoJuliaTesting:mainfrom
christiangnrd:failtime
Oct 13, 2025
Merged

Also report time for failed tests#34
maleadt merged 1 commit intoJuliaTesting:mainfrom
christiangnrd:failtime

Commits

Commits on Oct 13, 2025