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

Sanitizers

Run sanitizers in CI #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
asan with sleipnir	3m 15s
tsan with sleipnir	2m 25s
ubsan with sleipnir	2m 46s
asan with casadi	55s
tsan with casadi	57s
ubsan with casadi	50s
	11m 8s