Skip to content

Actions: krapcys1-maker/nullius

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 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
README: the known-broken list was stale, and the defect list was two … CI #35: Commit e37bbbd pushed by krapcys1-maker
1m 13s master
master
1m 13s
Eight fixes, and the one that explains why the scientist found nothing CI #34: Commit 9f0dd61 pushed by krapcys1-maker
1m 21s master
master
1m 21s
Round-4 audit, and the run it saved CI #33: Commit 016a410 pushed by krapcys1-maker
1m 16s master
master
1m 16s
Round-3 audit: the sixty files nobody had ever read CI #32: Commit 97d7343 pushed by krapcys1-maker
1m 20s master
master
1m 20s
Round-2 audit: 32 findings, one defect in thirty-two costumes CI #31: Commit f4dacee pushed by krapcys1-maker
1m 10s master
master
1m 10s
Second audit round: fix what the first round's fixes broke CI #30: Commit 2ac3608 pushed by krapcys1-maker
1m 8s master
master
1m 8s
Fix the remaining audit findings across all four subsystems CI #29: Commit 017679b pushed by krapcys1-maker
1m 20s master
master
1m 20s
Audit a run against its own record, for free, after every run CI #28: Commit 5570c56 pushed by krapcys1-maker
1m 13s master
master
1m 13s
A repository containing a benchmark is not a measured claim CI #27: Commit d858a0d pushed by krapcys1-maker
1m 6s master
master
1m 6s
Six defects that could still falsify or kill a run CI #26: Commit b8bcf8b pushed by krapcys1-maker
1m 12s master
master
1m 12s
Never leave the memory bank deleted and half-written CI #25: Commit 420fde5 pushed by krapcys1-maker
1m 11s master
master
1m 11s
A docstring body is prose, not an implementation site CI #24: Commit 2bcb9d2 pushed by krapcys1-maker
1m 14s master
master
1m 14s
Seven critical audit findings: money, locks, and four kinds of false … CI #23: Commit 643356a pushed by krapcys1-maker
1m 9s master
master
1m 9s
Open the repositories that matter, and stop swallowing 4xx CI #22: Commit bd4705d pushed by krapcys1-maker
1m 4s master
master
1m 4s
fix: catch verification checklist query leaks CI #21: Pull request #7 opened by kkkhs
Action required kkkhs:agent/query-leak-verification-criteria
kkkhs:agent/query-leak-verification-criteria
Action required
A code inspection now raises the evidence class of the claim it supports CI #20: Commit f6ae34d pushed by krapcys1-maker
1m 16s master
master
1m 16s
Give a length-truncated retry more room instead of the same wall CI #19: Commit 4c5e203 pushed by krapcys1-maker
1m 14s master
master
1m 14s
Apply the coverage gate per target, not only per run CI #18: Commit 04a0174 pushed by krapcys1-maker
1m 7s master
master
1m 7s
Replay recorded provider responses instead of paying for a live run CI #17: Commit 7288201 pushed by krapcys1-maker
1m 10s master
master
1m 10s
Record a handled provider failure as a failure CI #16: Commit d089e81 pushed by krapcys1-maker
1m 8s master
master
1m 8s
Add query-leak audit with an honest account of what it cannot detect CI #15: Commit dc1eed8 pushed by krapcys1-maker
1m 5s master
master
1m 5s
Separate external knowledge gaps from internal process todos in Compl… CI #14: Commit ecf7a48 pushed by krapcys1-maker
1m 7s master
master
1m 7s
Widen process-work query filter to catch a new imperative register CI #13: Commit 1b1bcfc pushed by krapcys1-maker
1m 8s master
master
1m 8s
A correct completion is not a verification failure CI #12: Commit 77aaf91 pushed by krapcys1-maker
1m 7s master
master
1m 7s
Filter queries where they converge, and test that the guard is reached CI #11: Commit 8cf2e1c pushed by krapcys1-maker
1m 7s master
master
1m 7s