Continuous Integration

Added search functions in `Ranges.v3` #837

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
wasm	56s
x86_64-linux	2m 41s
jvm-unbox	45s
jvm	43s
x86_64-macos	26m 0s
x86-64-linux-O1	2m 42s
x86-64-linux-O2	2m 59s
x86-64-linux-ssa-int	2m 48s
x86-64-linux-unbox	2m 53s
x86-linux	2m 35s
	45m 2s