Skip to content

Actions: CodingThrust/problem-reductions-benchmark

Actions

CI — unit tests and verifier calibration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
82 workflow runs
82 workflow runs

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
feat(runner): zero-trust cost re-metering + crash-safe whole-repo output CI — unit tests and verifier calibration #85: Pull request #39 synchronize by isPANN
1m 20s feat/zero-trust-cost-and-crash-safe-output
feat/zero-trust-cost-and-crash-safe-output
1m 20s
feat(runner): zero-trust cost re-metering + crash-safe whole-repo output CI — unit tests and verifier calibration #84: Pull request #39 opened by isPANN
1m 39s feat/zero-trust-cost-and-crash-safe-output
feat/zero-trust-cost-and-crash-safe-output
1m 39s
feat(runner): add whole-repo agent mode alongside per-rule (#38) CI — unit tests and verifier calibration #83: Commit e34890d pushed by isPANN
1m 7s main
main
1m 7s
Add whole-repo agent mode alongside per-rule CI — unit tests and verifier calibration #82: Pull request #38 synchronize by isPANN
1m 29s feat/whole-repo-mode
feat/whole-repo-mode
1m 29s
Add whole-repo agent mode alongside per-rule CI — unit tests and verifier calibration #81: Pull request #38 synchronize by isPANN
1m 26s feat/whole-repo-mode
feat/whole-repo-mode
1m 26s
Add whole-repo agent mode alongside per-rule CI — unit tests and verifier calibration #80: Pull request #38 opened by isPANN
1m 33s feat/whole-repo-mode
feat/whole-repo-mode
1m 33s
skill(run-benchmark): ask goal first; branch local-test vs official s… CI — unit tests and verifier calibration #79: Commit 86ffa1b pushed by isPANN
1m 14s main
main
1m 14s
site: remove the fixture test entry; empty the public board CI — unit tests and verifier calibration #78: Commit 55e879a pushed by isPANN
1m 34s main
main
1m 34s
site: drop the "buggy-rule identities are not published" note CI — unit tests and verifier calibration #77: Commit 8271f3c pushed by isPANN
1m 40s main
main
1m 40s
docs: trim verbose asides and rationale from docs + website (#37) CI — unit tests and verifier calibration #76: Commit 48a98e6 pushed by isPANN
1m 8s main
main
1m 8s
Trim verbose asides from docs and website CI — unit tests and verifier calibration #75: Pull request #37 opened by isPANN
1m 29s docs/terse-prose
docs/terse-prose
1m 29s
leaderboard: anthropic/claude-sonnet-4-6 — 1 bug(s) @ 20260706T071233… CI — unit tests and verifier calibration #74: Commit d5a3c75 pushed by isPANN
1m 28s main
main
1m 28s
leaderboard: anthropic/claude-sonnet-4-6 — 1 bug(s) @ 20260706T071233 CI — unit tests and verifier calibration #73: Pull request #36 opened by github-actions Bot
1m 12s bot/leaderboard/anthropic-claude-sonnet-4-6--20260706T071233--ae64aa54
bot/leaderboard/anthropic-claude-sonnet-4-6--20260706T071233--ae64aa54
1m 12s
refactor(board): one source file + one PR per submission (#35) CI — unit tests and verifier calibration #72: Commit fd763e3 pushed by isPANN
1m 8s main
main
1m 8s
Per-submission board: one source file + one PR per submission CI — unit tests and verifier calibration #71: Pull request #35 synchronize by isPANN
1m 12s refactor/per-submission-board
refactor/per-submission-board
1m 12s
Fix duplicate leaderboard PRs; add reset_results knob CI — unit tests and verifier calibration #70: Pull request #34 opened by isPANN
1m 13s fix/leaderboard-pr-dedup
fix/leaderboard-pr-dedup
1m 13s
refactor: tidy the test-submission marker after review (#31) CI — unit tests and verifier calibration #67: Commit 88dad84 pushed by isPANN
1m 12s main
main
1m 12s
Tidy the test-submission marker after review CI — unit tests and verifier calibration #66: Pull request #31 opened by isPANN
1m 5s chore/simplify-test-marker
chore/simplify-test-marker
1m 5s
site: clear placeholder demo data from the leaderboard (#30) CI — unit tests and verifier calibration #65: Commit 056cabb pushed by isPANN
1m 8s main
main
1m 8s
Clear placeholder demo data from the leaderboard CI — unit tests and verifier calibration #64: Pull request #30 opened by isPANN
1m 7s chore/clear-placeholder-board
chore/clear-placeholder-board
1m 7s
chore: remove abandoned HF/PR-intake code; add private test-submissio… CI — unit tests and verifier calibration #63: Commit 45eb5ac pushed by isPANN
1m 11s main
main
1m 11s
chore(scoring): descriptive leaderboard PR title with model/bug counts CI — unit tests and verifier calibration #62: Commit 0c6d0de pushed by isPANN
1m 32s main
main
1m 32s
Update leaderboard — 1 model, 1 verified bug (2026-07-06) CI — unit tests and verifier calibration #61: Pull request #29 opened by github-actions Bot
1m 35s bot/leaderboard-28768356427
bot/leaderboard-28768356427
1m 35s
fix(scoring): don't archive un-scored submissions; drop scoring envir… CI — unit tests and verifier calibration #60: Commit 7b0b202 pushed by isPANN
1m 23s main
main
1m 23s
leaderboard: refresh aggregate CI — unit tests and verifier calibration #59: Pull request #28 opened by github-actions Bot
1m 14s bot/leaderboard-28767686446
bot/leaderboard-28767686446
1m 14s