[alethe] Update processing of Skolemization #1853

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos:production-arm64-cross	10m 29s
macos:production	10m 54s
macos:production-arm64	6m 38s
ubuntu:production-dbg-clang	11m 13s
ubuntu:production-clang	5m 16s
ubuntu:production-dbg	11m 48s
ubuntu:production-arm64-cross	4m 4s
ubuntu:production	8m 58s
wasm:production	5m 36s
win64:production	14m 25s
win64:production-cross	4m 41s
	1h 34m 2s