Changed definition of valid_pointer' wrt locations with PURE resource… #1046

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.17, 64, vst)	22m 58s
build (8.18, 64, vst)	22m 6s
build (8.19, 32, vst)	23m 17s
build (8.19, 64, vst)	22m 24s
build (dev, 64, vst)	20m 1s
test (8.17, assumptions.txt, 64)	1m 4s
test (8.17, test, 64)	5m 54s
test (8.17, test2, 64)	3m 30s
test (8.17, test4, 64)	3m 39s
test (8.18, assumptions.txt, 64)	1m 6s
test (8.18, test, 64)	5m 46s
test (8.18, test2, 64)	4m 9s
test (8.18, test4, 64)	3m 36s
test (8.19, assumptions.txt, 32)	1m 3s
test (8.19, assumptions.txt, 64)	1m 4s
test (8.19, test, 32)	14m 18s
test (8.19, test, 64)	5m 48s
test (8.19, test2, 32)	3m 36s
test (8.19, test2, 64)	3m 33s
test (8.19, test3, 32)	12m 20s
test (8.19, test4, 64)	3m 33s
test (8.19, test5, 32)	4m 2s
test (dev, assumptions.txt, 64)	1m 1s
test (dev, test, 64)	5m 50s
test (dev, test2, 64)	3m 33s
test (dev, test4, 64)	3m 40s
	3h 22m 51s