Skip to content

Actions: semcod/todo2code

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 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
ci ci #138: Scheduled
1m 23s main
main
1m 23s
ci: adopt benchmark-qualified Koru judge ci #137: Pull request #4 synchronize by tom-sapletta-com
1m 28s ticket-018-koru-review
ticket-018-koru-review
1m 28s
ci: adopt benchmark-qualified Koru judge koru-code-review #15: Pull request #4 synchronize by tom-sapletta-com
37s ticket-018-koru-review
ticket-018-koru-review
37s
docs(governance): record Koru failure-path tests ci #136: Commit 05c3a66 pushed by tom-sapletta-com
1m 11s ticket-018-koru-review
ticket-018-koru-review
1m 11s
ci: adopt benchmark-qualified Koru judge koru-code-review #14: Pull request #4 synchronize by tom-sapletta-com
39s ticket-018-koru-review
ticket-018-koru-review
39s
ci: adopt benchmark-qualified Koru judge ci #135: Pull request #4 synchronize by tom-sapletta-com
1m 18s ticket-018-koru-review
ticket-018-koru-review
1m 18s
docs(governance): record repaired Koru evidence ci #134: Commit fae2738 pushed by tom-sapletta-com
1m 23s ticket-018-koru-review
ticket-018-koru-review
1m 23s
koru-code-review koru-code-review #13: Manually run by tom-sapletta-com
1m 30s ticket-018-koru-review
ticket-018-koru-review
1m 30s
ci: adopt benchmark-qualified Koru judge koru-code-review #12: Pull request #4 synchronize by tom-sapletta-com
41s ticket-018-koru-review
ticket-018-koru-review
41s
ci: adopt benchmark-qualified Koru judge ci #133: Pull request #4 synchronize by tom-sapletta-com
1m 9s ticket-018-koru-review
ticket-018-koru-review
1m 9s
ci: bound and normalize Koru review ci #132: Commit fb03583 pushed by tom-sapletta-com
1m 21s ticket-018-koru-review
ticket-018-koru-review
1m 21s
config: adopt benchmark-qualified Gemini default koru-code-review #11: Pull request #3 synchronize by tom-sapletta-com
31s ticket-023-benchmark-model-adoption
ticket-023-benchmark-model-adoption
31s
config: adopt benchmark-qualified Gemini default ci #131: Pull request #3 synchronize by tom-sapletta-com
1m 12s ticket-023-benchmark-model-adoption
ticket-023-benchmark-model-adoption
1m 12s
docs(governance): record live Gemini contract ci #130: Commit 6b79527 pushed by tom-sapletta-com
1m 22s ticket-023-benchmark-model-adoption
ticket-023-benchmark-model-adoption
1m 22s
ci: adopt benchmark-qualified Koru judge ci #129: Pull request #4 synchronize by tom-sapletta-com
1m 22s ticket-018-koru-review
ticket-018-koru-review
1m 22s
ci: adopt benchmark-qualified Koru judge koru-code-review #10: Pull request #4 synchronize by tom-sapletta-com
37s ticket-018-koru-review
ticket-018-koru-review
37s
docs(governance): record working Koru credential ci #128: Commit 3340c89 pushed by tom-sapletta-com
1m 20s ticket-018-koru-review
ticket-018-koru-review
1m 20s
koru-code-review koru-code-review #9: Manually run by tom-sapletta-com
1m 27s ticket-018-koru-review
ticket-018-koru-review
1m 27s
ci: adopt benchmark-qualified Koru judge ci #127: Pull request #4 synchronize by tom-sapletta-com
1m 2s ticket-018-koru-review
ticket-018-koru-review
1m 2s
ci: adopt benchmark-qualified Koru judge koru-code-review #8: Pull request #4 synchronize by tom-sapletta-com
49s ticket-018-koru-review
ticket-018-koru-review
49s
docs(governance): record live Gemini Koru blocker ci #126: Commit 4de71f9 pushed by tom-sapletta-com
1m 27s ticket-018-koru-review
ticket-018-koru-review
1m 27s
koru-code-review koru-code-review #7: Manually run by tom-sapletta-com
45s ticket-018-koru-review
ticket-018-koru-review
45s
ci: adopt benchmark-qualified Koru judge koru-code-review #6: Pull request #4 synchronize by tom-sapletta-com
45s ticket-018-koru-review
ticket-018-koru-review
45s
ci: adopt benchmark-qualified Koru judge ci #125: Pull request #4 synchronize by tom-sapletta-com
1m 8s ticket-018-koru-review
ticket-018-koru-review
1m 8s
docs(governance): record Koru model evidence ci #124: Commit 920fcb9 pushed by tom-sapletta-com
1m 21s ticket-018-koru-review
ticket-018-koru-review
1m 21s