Continuous Integration

Small change to the aeneas script to make it more robust #874

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
x86_64-linux	2m 55s
wasm	57s
jvm	49s
jvm-unbox	43s
x86_64-macos	26m 44s
x86-64-linux-O1	2m 55s
x86-64-linux-O2	3m 38s
x86-64-linux-ssa-int	2m 54s
x86-64-linux-unbox	3m 11s
x86-linux	2m 45s
	47m 31s