This repository has been archived by the owner on Jul 8, 2024. It is now read-only.

Sanitizers

Merge .inc files into .h files #13

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
asan with sleipnir	3m 5s
tsan with sleipnir	2m 34s
ubsan with sleipnir	2m 32s
asan with casadi	59s
tsan with casadi	59s
ubsan with casadi	50s
	10m 59s