repr_inj handles int64 compares better; updated submodules #934

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.16, 64, vst)	42m 46s
build (8.17, 64, vst)	42m 17s
build (8.18, 32, vst)	47m 49s
build (8.18, 64, vst)	22m 12s
build (dev, 64, vst)	19m 31s
test (8.16, assumptions.txt, 64)	1m 8s
test (8.16, test, 64)	10m 46s
test (8.16, test2, 64)	6m 9s
test (8.16, test4, 64)	5m 22s
test (8.17, assumptions.txt, 64)	1m 15s
test (8.17, test, 64)	8m 53s
test (8.17, test2, 64)	3m 24s
test (8.17, test4, 64)	3m 41s
test (8.18, assumptions.txt, 32)	1m 10s
test (8.18, assumptions.txt, 64)	56s
test (8.18, test, 32)	22m 39s
test (8.18, test, 64)	7m 29s
test (8.18, test2, 32)	5m 18s
test (8.18, test2, 64)	3m 24s
test (8.18, test3, 32)	16m 29s
test (8.18, test4, 64)	3m 35s
test (8.18, test5, 32)	3m 20s
test (dev, assumptions.txt, 64)	1m 17s
test (dev, test, 64)	5m 35s
test (dev, test2, 64)	5m 44s
test (dev, test4, 64)	5m 25s
	4h 57m 34s