Continuous Integration

Added search functions in `Ranges.v3` #838

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
jvm	46s
jvm-unbox	43s
wasm	56s
x86_64-linux	2m 42s
x86_64-macos	26m 37s
x86-64-linux-O1	2m 43s
x86-64-linux-O2	3m 1s
x86-64-linux-ssa-int	2m 43s
x86-64-linux-unbox	2m 45s
x86-linux	2m 37s
	45m 33s