Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
425 workflow runs
425 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(dlv): the live market path binds, and stops at bound-but-unreali… CodeQL #425: Commit 65b35ae pushed by cryptskii
13m 59s main
main
13m 59s
feat(dlv): the live market path binds, and stops at bound-but-unrealized (RE-OPENED — lost from #834's merge) CodeQL #424: Pull request #836 opened by cryptskii
12m 18s feat/live-market-bind-to-bound-unrealized
feat/live-market-bind-to-bound-unrealized
12m 18s
feat(dlv): surface the owner's economic-proof locator, which no trade… CodeQL #423: Commit 4709c06 pushed by cryptskii
11m 2s main
main
11m 2s
feat(dlv): surface the owner's economic-proof locator, which no trader could reach CodeQL #422: Pull request #835 opened by cryptskii
12m 20s feat/market-accepted-successor-and-admission
feat/market-accepted-successor-and-admission
12m 20s
feat(dlv): enforce 2c-B's G1-G4, now that genuine operands exist to e… CodeQL #421: Commit 7e08e3e pushed by cryptskii
13m 19s main
main
13m 19s
feat(dlv): Step 4 — G1-G4 enforced, and the live market path binds to bound-but-unrealized CodeQL #420: Pull request #834 opened by cryptskii
12m 22s feat/live-market-bind-to-bound-unrealized
feat/live-market-bind-to-bound-unrealized
12m 22s
feat(dlv): the genuine market bundle producer, and the vector regener… CodeQL #419: Commit 13a9c44 pushed by cryptskii
10m 42s main
main
10m 42s
feat(dlv): the genuine market bundle producer, and the vector regenerated from it CodeQL #418: Pull request #833 opened by cryptskii
12m 9s feat/genuine-market-bundle-producer
feat/genuine-market-bundle-producer
12m 9s
chore(deps): bump the npm_and_yarn group across 1 directory with 3 updates CodeQL #417: Pull request #832 opened by dependabot Bot
12m 47s dependabot/npm_and_yarn/npm_and_yarn-da72b5332a
dependabot/npm_and_yarn/npm_and_yarn-da72b5332a
12m 47s
feat(formal): the trade-intent correspondence, and the proof that its… CodeQL #416: Commit 2030cdf pushed by cryptskii
13m 34s main
main
13m 34s
feat(formal): the trade-intent correspondence, and the proof that its forbidden shape is vacuous CodeQL #415: Pull request #831 opened by cryptskii
12m 31s feat/formal-trade-intent-correspondence
feat/formal-trade-intent-correspondence
12m 31s
fix(ccb): the live-schema table still pinned the three classes 2c-E m… CodeQL #414: Commit 6583091 pushed by cryptskii
13m 5s main
main
13m 5s
fix(ccb): the live-schema table still pinned the three classes 2c-E moved CodeQL #413: Pull request #830 opened by cryptskii
10m 53s fix/ccb-conformance-live-schema-table-after-2c-e
fix/ccb-conformance-live-schema-table-after-2c-e
10m 53s
feat(ccb): cut TradeIntent to schema 2, the exact-output model (#829) CodeQL #412: Commit 1680e2d pushed by cryptskii
11m 54s main
main
11m 54s
feat(ccb): cut TradeIntent to schema 2, the exact-output model CodeQL #411: Pull request #829 opened by cryptskii
12m 42s feat/trade-intent-schema-2-exact-output
feat/trade-intent-schema-2-exact-output
12m 42s
ci: stop running the whole pipeline on markdown-only changes (#826) CodeQL #410: Commit 38d2e32 pushed by cryptskii
12m 53s main
main
12m 53s
docs(amendment): 2c-E — TradeIntent under the exact-output market mod… CodeQL #409: Commit 1583fa8 pushed by cryptskii
12m 0s main
main
12m 0s
fix(plan): 5c-2 Step 3 names the owner-apply credit source for the tr… CodeQL #408: Commit 3a9772d pushed by cryptskii
11m 14s main
main
11m 14s
ci: stop running the whole pipeline on markdown-only changes CodeQL #407: Pull request #826 opened by cryptskii
12m 26s ci/skip-the-full-pipeline-for-markdown-only-changes
ci/skip-the-full-pipeline-for-markdown-only-changes
12m 26s
docs(amendment): 2c-E — TradeIntent under the exact-output market model CodeQL #406: Pull request #825 opened by cryptskii
12m 23s docs/amendment-2c-e-trade-intent-exact-output
docs/amendment-2c-e-trade-intent-exact-output
12m 23s
fix(plan): 5c-2 Step 3 names the owner-apply credit source for the trader leg CodeQL #405: Pull request #824 opened by cryptskii
13m 17s fix/5c-2-plan-names-the-wrong-credit-source
fix/5c-2-plan-names-the-wrong-credit-source
13m 17s
docs(plan): Step 3 tells an implementer to build a class that belongs… CodeQL #404: Commit b69e596 pushed by cryptskii
13m 49s main
main
13m 49s
test(ccb): pin the two frozen byte grammars, so "byte-identical" stop… CodeQL #403: Commit c14ece7 pushed by cryptskii
11m 22s main
main
11m 22s
docs(sofi): three operator docs still say the trade settles, and it d… CodeQL #402: Commit 62e2fab pushed by cryptskii
11m 35s main
main
11m 35s
docs(plan): Step 3 tells an implementer to build a class that belongs to 2c-D CodeQL #401: Pull request #823 opened by cryptskii
13m 7s docs/5c-2-step3-tab-half-belongs-to-2c-d
docs/5c-2-step3-tab-half-belongs-to-2c-d
13m 7s