fix prefixing of identifiers in subproofs #1737

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
update-pr	0s
macos:production	23m 28s
macos:production-arm64-cross	12m 23s
macos:production-arm64	18m 19s
ubuntu:production	6m 2s
ubuntu:production-clang	5m 12s
ubuntu:production-dbg	9m 23s
ubuntu:production-dbg-clang	8m 32s
win64:production	30m 16s
win64:production-cross	2m 22s
	1h 55m 57s