fix #1131

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build all	13m 2s
build macos	15m 9s
build release	11m 38s
docker push	0s
process replay	15m 14s
static analysis	2m 36s
model tests	15m 11s
unit tests	11m 25s
valgrind	14m 49s
PR comments	0s
cars (0)	15m 11s
cars (1)	15m 3s
cars (2)	15m 12s
cars (3)	15m 11s
cars (4)	15m 12s
	2h 54m 53s