Skip to content

Also report time for failed tests#34

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

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

Commits

Commits on Oct 13, 2025