GitHub Actions runProcessing
Processing
CPU SimulationWall Time
19 hours ago 0b6a3be oflatt-proof-optimization pull_requestCompare
Base
Search a run
Head
CompareProof optimization- consolidate proof and view/UF tables
#850
oflatt-proof-optimization
19 hours ago
CPU SimulationWall Time
21 total
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs39.6 ms
tests[rectangle]
benches/ci_benchmarking.rs12.3 s
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs294.7 ms
tests[luminal-llama]
benches/ci_benchmarking.rs606.9 ms
tests[typeinfer]
benches/ci_benchmarking.rs218.9 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs627.5 ms
tests[hardboiled_conv1d_32]
benches/ci_benchmarking.rs1.8 s
tests[taylor51]
benches/ci_benchmarking.rs5.4 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs1.8 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs1.6 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs163.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs260.2 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs27.1 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs394.8 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs545.1 µs
tests[proof_testing_unify]
benches/ci_benchmarking.rs17.6 ms
tests[cykjson]
benches/ci_benchmarking.rs512.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs76.7 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs292.6 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs5 s
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs357.6 µs