Merge branch 'master' into PA-testing #1167

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build all	17m 8s
build macos	23m 25s
build release	12m 32s
docker push	0s
static analysis	3m 18s
model tests	23m 32s
process replay	46m 53s
valgrind	19m 6s
unit tests	21m 55s
PR comments	0s
cars (0)	22m 10s
cars (1)	18m 9s
cars (2)	25m 44s
cars (3)	28m 10s
cars (4)	18m 30s
	4h 40m 32s