[docs] Fixing issues in proof rules #1856

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos:production-arm64-cross	26m 42s
macos:production	19m 58s
macos:production-arm64	12m 44s
ubuntu:production-dbg-clang	21m 44s
ubuntu:production	19m 57s
ubuntu:production-arm64-cross	16m 5s
ubuntu:production-clang	17m 1s
ubuntu:production-dbg	28m 38s
wasm:production	14m 50s
win64:production	27m 42s
win64:production-cross	22m 14s
	3h 47m 35s