Skip to content

Actions: norvalbv/devkit

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,161 workflow runs
1,161 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
Prepare comparative correctness experiments and unscored mechanism pr… gate #1161: Commit 05dcafa pushed by norvalbv
27m 24s main
main
27m 24s
perf(tests): reduce native Git fixture setup cost (#607) gate #1160: Commit ff811df pushed by norvalbv
36m 1s main
main
36m 1s
fix(qavis): record outcomes and attribute strict ship blocks [sc-2570… gate #1159: Commit 547c70b pushed by norvalbv
36m 13s main
main
36m 13s
perf(tests): reduce native Git fixture setup cost gate #1158: Pull request #607 opened by norvalbv
34m 28s codex/vitest-fixture-setup
codex/vitest-fixture-setup
34m 28s
Prepare comparative correctness experiments and unscored mechanism probes gate #1157: Pull request #605 synchronize by norvalbv
37m 34s codex/sc2872-correctness-reachable-witness
codex/sc2872-correctness-reachable-witness
37m 34s
fix(qavis): record outcomes and attribute strict ship blocks [sc-2570] gate #1156: Pull request #606 opened by norvalbv
29m 11s codex/qavis-gate-outcomes
codex/qavis-gate-outcomes
29m 11s
Prepare comparative correctness experiments and unscored mechanism probes gate #1155: Pull request #605 opened by norvalbv
37m 19s codex/sc2872-correctness-reachable-witness
codex/sc2872-correctness-reachable-witness
37m 19s
docs(benchmarks): qualify typed-reply source evidence [sc-2866] (#604) gate #1154: Commit 9b08577 pushed by norvalbv
28m 17s main
main
28m 17s
docs(benchmarks): qualify typed-reply source evidence [sc-2866] gate #1153: Pull request #604 opened by norvalbv
27m 10s codex/sc-2866-source-family-qualification
codex/sc-2866-source-family-qualification
27m 10s
feat(benchmarks): prepare isolated review history inputs [sc-2851] (#… gate #1152: Commit c6c421c pushed by norvalbv
36m 58s main
main
36m 58s
feat(benchmarks): prepare isolated review history inputs [sc-2851] gate #1151: Pull request #603 synchronize by norvalbv
30m 17s codex/sc-2851-review-history-inputs
codex/sc-2851-review-history-inputs
30m 17s
feat(benchmarks): prepare isolated review history inputs [sc-2851] gate #1150: Pull request #603 opened by norvalbv
36m 54s codex/sc-2851-review-history-inputs
codex/sc-2851-review-history-inputs
36m 54s
docs(benchmarks): reject residual-bearing source repair [sc-2843] (#602) gate #1149: Commit 05fc01a pushed by norvalbv
32m 8s main
main
32m 8s
docs(benchmarks): reject incomplete source repair [sc-2843] gate #1148: Pull request #602 opened by norvalbv
37m 7s codex/sc-2843-source-family-qualification
codex/sc-2843-source-family-qualification
37m 7s
Measure native evidence coverage for source benchmark families (sc-20… gate #1147: Commit dfb3545 pushed by norvalbv
36m 52s main
main
36m 52s
Measure native evidence coverage for source benchmark families (sc-2002) gate #1146: Pull request #601 opened by norvalbv
37m 19s codex/sc-2002-source-family-census
codex/sc-2002-source-family-census
37m 19s
Audit reporting-family target attribution (sc-2831) (#600) gate #1145: Commit 4257a52 pushed by norvalbv
37m 6s main
main
37m 6s
Audit reporting-family target attribution (sc-2831) gate #1144: Pull request #600 opened by norvalbv
38m 29s codex/sc-2831-reporting-family-audit
codex/sc-2831-reporting-family-audit
38m 29s
fix(decisions): list reads the decisions directory, not INDEX.md (sc-… gate #1143: Commit 2c87515 pushed by norvalbv
36m 56s main
main
36m 56s
fix(decisions): list reads the decisions directory, not INDEX.md (sc-2332) gate #1142: Pull request #599 opened by norvalbv
37m 38s benjinorval/sc-2332/guard-decisions-list-reports-n
benjinorval/sc-2332/guard-decisions-list-reports-n
37m 38s
Measure native correctness chunks with executable repair pairs (sc-25… gate #1141: Commit 3a8a88d pushed by norvalbv
32m 16s main
main
32m 16s
Measure native correctness chunks with executable repair pairs (sc-2500) gate #1140: Pull request #598 opened by norvalbv
37m 40s codex/sc-2500-large-repair-pairs
codex/sc-2500-large-repair-pairs
37m 40s
feat(skills): route agents to devkit review, and make an unrouted CLI verb fail typecheck (sc-2361) gate #1139: Pull request #587 synchronize by norvalbv
37m 38s benjinorval/sc-2361/route-devkit-review
benjinorval/sc-2361/route-devkit-review
37m 38s
feat(overlay): install anti-slop through a git-excluded root entry co… gate #1138: Commit 5f05749 pushed by norvalbv
37m 1s main
main
37m 1s
feat(overlay): install anti-slop through a git-excluded root entry config gate #1137: Pull request #574 synchronize by norvalbv
36m 41s norvalbv/overlay-anti-slop
norvalbv/overlay-anti-slop
36m 41s