Skip to content

Actions: CodeGateSoftware/keel

Actions

Migrate database

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
migrate.yml
375 workflow runs
375 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
Merge pull request #592 from CodeGateSoftware/fix-attest-multiglob Migrate database #175: Commit cee9e5a pushed by eaitbrahim
19s main
main
19s
Merge pull request #591 from CodeGateSoftware/chore-v0.12.0-bump Migrate database #174: Commit 2feca85 pushed by eaitbrahim
17s main
main
17s
Merge pull request #590 from CodeGateSoftware/test-588-mcp-thinness Migrate database #173: Commit b31fb65 pushed by eaitbrahim
16s main
main
16s
Merge pull request #589 from CodeGateSoftware/docs-525-commands-survey Migrate database #172: Commit 8bcd1b8 pushed by eaitbrahim
12s main
main
12s
Merge pull request #586 from CodeGateSoftware/feat-372-cash-posture Migrate database #171: Commit 2e5219b pushed by eaitbrahim
17s main
main
17s
Merge pull request #585 from CodeGateSoftware/feat-427-review-report Migrate database #170: Commit 4aa926c pushed by eaitbrahim
12s main
main
12s
Merge pull request #587 from CodeGateSoftware/docs-526-sqlite-adr Migrate database #169: Commit c91eacf pushed by eaitbrahim
16s main
main
16s
Merge pull request #584 from CodeGateSoftware/docs-529-fill-model-hazard Migrate database #168: Commit 4c2cc0b pushed by eaitbrahim
15s main
main
15s
Merge pull request #581 from CodeGateSoftware/feat-502-bracket-spec Migrate database #167: Commit 16725c1 pushed by eaitbrahim
12s main
main
12s
Merge pull request #583 from CodeGateSoftware/feat-528-param-space Migrate database #166: Commit 51f69e0 pushed by eaitbrahim
14s main
main
14s
Merge pull request #582 from CodeGateSoftware/feat-524-port-flip-finish Migrate database #165: Commit 746cd9f pushed by eaitbrahim
16s main
main
16s
Merge pull request #580 from CodeGateSoftware/fix-557-556-installer Migrate database #164: Commit 6ecbd94 pushed by eaitbrahim
13s main
main
13s
feat(executor): every order is an OrderSpec, and the second Coinbase … Migrate database #163: Commit 6a92bf3 pushed by eaitbrahim
13s main
main
13s
feat(executor): the increment read goes through the port, and stops f… Migrate database #162: Commit 2db7370 pushed by eaitbrahim
13s main
main
13s
feat(executor): the quote balance comes from the port's shape, and on… Migrate database #161: Commit ce0df44 pushed by eaitbrahim
14s main
main
14s
feat(broker-api): a product-catalogue read, the first of #524's two b… Migrate database #160: Commit e5b08b4 pushed by eaitbrahim
17s main
main
17s
fix(executor): refuse a stop roll that reaches the target, and record… Migrate database #159: Commit 556d15b pushed by eaitbrahim
18s main
main
18s
fix(tests): the signing pins assert the guarantee where #558 moved it… Migrate database #158: Commit 1470325 pushed by eaitbrahim
14s main
main
14s
fix(release): the workflow has been invalid since #512 -- secrets i… Migrate database #157: Commit 1312df5 pushed by eaitbrahim
58s main
main
58s
fix(web): worker update consent, keel.web strict, and the write bound… Migrate database #156: Commit 0d11c36 pushed by eaitbrahim
32s main
main
32s
feat: delete the curses TUI and the console layer that only it could … Migrate database #155: Commit 28c934e pushed by eaitbrahim
13s main
main
13s
feat(web): delete the renderer -- the server serves files and JSON, a… Migrate database #154: Commit de5c326 pushed by eaitbrahim
17s main
main
17s
feat(web): installable, with a worker that structurally cannot cache … Migrate database #153: Commit 8a973e4 pushed by eaitbrahim
16s main
main
16s
feat(web): the remaining six views, an SVG curve nobody has to see, a… Migrate database #152: Commit 3a9a816 pushed by eaitbrahim
18s main
main
18s
feat(web): the client shell, in the four modules the spec names (#536… Migrate database #151: Commit 268fe06 pushed by eaitbrahim
15s main
main
15s