Skip to content

Actions: CodeGateSoftware/keel

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-quality.yml
164 workflow runs
164 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(executor): the increment read goes through the port, and stops f… Code Quality #164: Commit 2db7370 pushed by eaitbrahim
11s main
main
11s
feat(executor): the quote balance comes from the port's shape, and on… Code Quality #163: Commit ce0df44 pushed by eaitbrahim
11s main
main
11s
feat(broker-api): a product-catalogue read, the first of #524's two b… Code Quality #162: Commit e5b08b4 pushed by eaitbrahim
8s main
main
8s
fix(executor): refuse a stop roll that reaches the target, and record… Code Quality #161: Commit 556d15b pushed by eaitbrahim
10s main
main
10s
fix(tests): the signing pins assert the guarantee where #558 moved it… Code Quality #160: Commit 1470325 pushed by eaitbrahim
10s main
main
10s
fix(release): the workflow has been invalid since #512 -- secrets i… Code Quality #159: Commit 1312df5 pushed by eaitbrahim
11s main
main
11s
fix(web): worker update consent, keel.web strict, and the write bound… Code Quality #158: Commit 0d11c36 pushed by eaitbrahim
4m 40s main
main
4m 40s
feat: delete the curses TUI and the console layer that only it could … Code Quality #157: Commit 28c934e pushed by eaitbrahim
13s main
main
13s
feat(web): delete the renderer -- the server serves files and JSON, a… Code Quality #156: Commit de5c326 pushed by eaitbrahim
11s main
main
11s
feat(web): installable, with a worker that structurally cannot cache … Code Quality #155: Commit 8a973e4 pushed by eaitbrahim
13s main
main
13s
feat(web): the remaining six views, an SVG curve nobody has to see, a… Code Quality #154: Commit 3a9a816 pushed by eaitbrahim
12s main
main
12s
feat(web): the client shell, in the four modules the spec names (#536… Code Quality #153: Commit 268fe06 pushed by eaitbrahim
16s main
main
16s
feat(web): the client shell, in the four modules the spec names (#536… Code Quality #152: Commit 268fe06 pushed by eaitbrahim
8s main
main
8s
feat(web): serve the reports as JSON, sorted with Decimal, and say wh… Code Quality #151: Commit fe43a27 pushed by eaitbrahim
12s main
main
12s
chore: raise the Python floor to 3.14, and record why it moved back u… Code Quality #150: Commit 2d3934f pushed by eaitbrahim
11s main
main
11s
Code Quality Code Quality #149: Scheduled
11s main
main
11s
feat(web): serve static assets, with the headers that make the UI's r… Code Quality #148: Commit 151f2f2 pushed by eaitbrahim
10s main
main
10s
feat(web): the serialisation contract — money as strings, values pres… Code Quality #147: Commit a8b9697 pushed by eaitbrahim
8s main
main
8s
fix(web): profit and loss were the same brightness, and inputs had no… Code Quality #146: Commit d587bae pushed by eaitbrahim
11s main
main
11s
docs(design): the web UI rewrite — zero-dependency, view-source, on-d… Code Quality #145: Commit 023c441 pushed by eaitbrahim
9s main
main
9s
docs(prd): what keel can learn from Jesse, which is not its strategie… Code Quality #144: Commit 7c2455a pushed by eaitbrahim
10s main
main
10s
feat(db): record the stop a tranche was sized against, because the cu… Code Quality #143: Commit 4804791 pushed by eaitbrahim
9s main
main
9s
fix(executor): write the crash ledger before cancelling, so a dead ro… Code Quality #142: Commit 9f862d1 pushed by eaitbrahim
10s main
main
10s
feat(broker-api): a bracket is one order kind, because two legs race … Code Quality #141: Commit 6018664 pushed by eaitbrahim
12s main
main
12s
D5 delta (#438): Inno Setup installer, gated signing + notarisation, … Code Quality #140: Commit 9c60779 pushed by eaitbrahim
9s main
main
9s