Build

Proof encoding in egglog itself #2642

Job	Run time
nits	29s
wasm	1m 21s
test	4m 50s
benchmark (ubuntu-latest, cykjson)	2m 10s
benchmark (codspeed-macro, extract-vec-bench)	2m 31s
benchmark (codspeed-macro, stresstest_large_expr)	2m 52s
benchmark (codspeed-macro, herbie)	2m 33s
benchmark (codspeed-macro, repro-665-set-union)	2m 40s
benchmark (codspeed-macro, typeinfer)	2m 33s
benchmark (codspeed-macro, math-microbenchmark)	4m 10s
benchmark (codspeed-macro, eggcc-extraction)	2m 52s
benchmark (codspeed-macro, python_array_optimize)	3m 45s
benchmark (codspeed-macro, taylor51)	3m 14s
benchmark (ubuntu-latest, stresstest_large_expr)	2m 45s
benchmark (ubuntu-latest, eggcc-extraction)	3m 16s
benchmark (ubuntu-latest, typeinfer)	1m 59s
benchmark (ubuntu-latest, herbie)	2m 3s
benchmark (ubuntu-latest, python_array_optimize)	5m 39s
benchmark (ubuntu-latest, taylor51)	5m 4s
benchmark (codspeed-macro, cykjson)	2m 32s
benchmark (ubuntu-latest, repro-665-set-union)	2m 2s
benchmark (ubuntu-latest, extract-vec-bench)	2m 3s
benchmark (ubuntu-latest, math-microbenchmark)	6m 33s
	1h 9m 56s

Provide feedback