Skip to content

Actions: erphq/pm-bench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
66 workflow runs
66 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
Scheduled CodeQL #23: by github-advanced-security AI
57s main
main
57s
test(stats): cover span_days, time bounds, and tie-breaking (#41) ci #21: Commit 0e0de9f pushed by protosphinx
21s main
main
21s
Push on main CodeQL #22: by protosphinx
1m 25s main
main
1m 25s
test(stats): cover span_days, time bounds, and tie-breaking ci #20: Pull request #41 opened by protosphinx
28s bot/stats-span-tiebreak-tests
bot/stats-span-tiebreak-tests
28s
PR #41 CodeQL #21: by protosphinx
1m 8s refs/pull/41/head
refs/pull/41/head
1m 8s
Scheduled CodeQL #20: by github-advanced-security AI
56s main
main
56s
test(synth): add unit tests for is_positive_outcome (#40) ci #19: Commit 7251303 pushed by protosphinx
19s main
main
19s
Push on main CodeQL #19: by protosphinx
1m 13s main
main
1m 13s
test(synth): add unit tests for is_positive_outcome ci #18: Pull request #40 opened by protosphinx
24s bot/synth-outcome-unit-tests
bot/synth-outcome-unit-tests
24s
PR #40 CodeQL #18: by protosphinx
1m 1s refs/pull/40/head
refs/pull/40/head
1m 1s
Scheduled CodeQL #17: by github-advanced-security AI
1m 9s main
main
1m 9s
feat(stats): add min_case_length and max_case_length to LogStats (#39) leaderboard #12: Commit 5484a05 pushed by protosphinx
21s main
main
21s
feat(stats): add min_case_length and max_case_length to LogStats (#39) ci #17: Commit 5484a05 pushed by protosphinx
23s main
main
23s
Push on main CodeQL #16: by protosphinx
1m 7s main
main
1m 7s
feat(stats): add min_case_length and max_case_length to LogStats ci #16: Pull request #39 synchronize by protosphinx
22s bot/stats-min-max-case-length
bot/stats-min-max-case-length
22s
feat(stats): add min_case_length and max_case_length to LogStats leaderboard #11: Pull request #39 synchronize by protosphinx
23s bot/stats-min-max-case-length
bot/stats-min-max-case-length
23s
PR #39 CodeQL #15: by protosphinx
1m 2s refs/pull/39/head
refs/pull/39/head
1m 2s
feat(stats): add min_case_length and max_case_length to LogStats ci #15: Pull request #39 opened by protosphinx
25s bot/stats-min-max-case-length
bot/stats-min-max-case-length
25s
feat(stats): add min_case_length and max_case_length to LogStats leaderboard #10: Pull request #39 opened by protosphinx
23s bot/stats-min-max-case-length
bot/stats-min-max-case-length
23s
PR #39 CodeQL #14: by protosphinx
1m 1s refs/pull/39/head
refs/pull/39/head
1m 1s
chore(status): refresh today's CI block ci #14: Commit 852aa4c pushed by protosphinx
18s main
main
18s
Push on main CodeQL #13: by protosphinx
1m 2s main
main
1m 2s
docs(readme): refresh tests badge count ci #13: Commit 8c2a34b pushed by protosphinx
17s main
main
17s
Push on main CodeQL #12: by protosphinx
1m 0s main
main
1m 0s
Scheduled CodeQL #11: by github-advanced-security AI
57s main
main
57s