Skip to content

Actions: CodingThrust/problem-reductions-benchmark

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
422 workflow runs
422 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
score: count bugs per distinct rule; drop novelty/provenance scoring Validate submission (PR) #1: Pull request #17 synchronize by isPANN
13s score-by-distinct-rule-bugs
score-by-distinct-rule-bugs
13s
score: count bugs per distinct rule; drop novelty/provenance scoring CI — unit tests and verifier calibration #17: Pull request #17 synchronize by isPANN
44s score-by-distinct-rule-bugs
score-by-distinct-rule-bugs
44s
score: count bugs per distinct rule; drop novelty/provenance scoring CI — unit tests and verifier calibration #16: Pull request #17 synchronize by isPANN
40s score-by-distinct-rule-bugs
score-by-distinct-rule-bugs
40s
score: count bugs per distinct rule; drop novelty/provenance scoring CI — unit tests and verifier calibration #15: Pull request #17 synchronize by isPANN
40s score-by-distinct-rule-bugs
score-by-distinct-rule-bugs
40s
score: count bugs per distinct rule; drop novelty/provenance scoring CI — unit tests and verifier calibration #14: Pull request #17 synchronize by isPANN
38s score-by-distinct-rule-bugs
score-by-distinct-rule-bugs
38s
score: count bugs per distinct rule; drop novelty/provenance scoring CI — unit tests and verifier calibration #13: Pull request #17 synchronize by isPANN
41s score-by-distinct-rule-bugs
score-by-distinct-rule-bugs
41s
docs: add SHOWCASE.md with user guide, demo highlights, and caveats CI — unit tests and verifier calibration #11: Commit eafaec6 pushed by Ferrari-72
39s master
master
39s
pages build and deployment pages-build-deployment #28: by Ferrari-72
2m 57s master
master
2m 57s
config: remove --solver brute-force, raise step_limit to 35, add --tr… CI — unit tests and verifier calibration #10: Commit d2d9ccf pushed by Ferrari-72
45s master
master
45s
pages build and deployment pages-build-deployment #27: by Ferrari-72
1m 37s master
master
1m 37s
add deepseek/deepseek-chat results: 15 rules, 105.5K tok, 0 bugs (pip… CI — unit tests and verifier calibration #9: Commit 2cb168e pushed by Ferrari-72
44s master
master
44s
add deepseek/deepseek-chat results: 15 rules, 105.5K tok, 0 bugs (pip… Validate, build index, and publish leaderboard #2: Commit 2cb168e pushed by Ferrari-72
50s master
master
50s
pages build and deployment pages-build-deployment #26: by Ferrari-72
21s master
master
21s
fix: remove --solver brute-force from pred solve calls; convert affec… CI — unit tests and verifier calibration #8: Commit 59ca889 pushed by Ferrari-72
39s master
master
39s
pages build and deployment pages-build-deployment #25: by Ferrari-72
43s master
master
43s
#15 part3: add timeout protection to incomplete_reduction CI — unit tests and verifier calibration #7: Commit 0e876bd pushed by Ferrari-72
44s master
master
44s
pages build and deployment pages-build-deployment #24: by Ferrari-72
39s master
master
39s
#15 part2: add order_reversal violation type (solver-free suboptimali… CI — unit tests and verifier calibration #6: Commit 9a9d6e2 pushed by Ferrari-72
46s master
master
46s
pages build and deployment pages-build-deployment #23: by Ferrari-72
40s master
master
40s
#15 part1: fix unsound_extraction to use pred extract (not claimed_so… CI — unit tests and verifier calibration #5: Commit 39c43f2 pushed by Ferrari-72
38s master
master
38s
pages build and deployment pages-build-deployment #22: by Ferrari-72
43s master
master
43s
#16: add solve_mismatch violation type CI — unit tests and verifier calibration #4: Commit ac256a0 pushed by Ferrari-72
43s master
master
43s
pages build and deployment pages-build-deployment #21: by Ferrari-72
40s master
master
40s
M4.1d: observability — error_count + skip_count in index entries (iss… Validate, build index, and publish leaderboard #1: Commit 6c465fa pushed by Ferrari-72
54s master
master
54s
M4.1d: observability — error_count + skip_count in index entries (iss… CI — unit tests and verifier calibration #3: Commit 6c465fa pushed by Ferrari-72
43s master
master
43s
ProTip! You can narrow down the results and go further in time using created:<2026-06-16 or the other filters available.