Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
338 workflow runs
338 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
2c-C3 — freeze ValidDlvSuccessorCore, and land C2's owed registry edi… CodeQL #338: Commit 0e0f795 pushed by cryptskii
13m 9s main
main
13m 9s
2c-C3 — freeze ValidDlvSuccessorCore, and land C2's owed registry edits CodeQL #337: Pull request #786 synchronize by cryptskii
13m 51s docs/amendment-2c-c3-valid-dlv-successor
docs/amendment-2c-c3-valid-dlv-successor
13m 51s
fix(validation): the formal gates printed FAILED and exited 0 (#787) CodeQL #336: Commit 74ca486 pushed by cryptskii
13m 25s main
main
13m 25s
The formal gates printed FAILED and exited 0 CodeQL #335: Pull request #787 opened by cryptskii
13m 38s fix/formal-gate-exit-status
fix/formal-gate-exit-status
13m 38s
2c-C3 — freeze ValidDlvSuccessorCore, and land C2's owed registry edits CodeQL #334: Pull request #786 synchronize by cryptskii
12m 20s docs/amendment-2c-c3-valid-dlv-successor
docs/amendment-2c-c3-valid-dlv-successor
12m 20s
2c-C3 — freeze ValidDlvSuccessorCore, and land C2's owed registry edits CodeQL #333: Pull request #786 opened by cryptskii
13m 10s docs/amendment-2c-c3-valid-dlv-successor
docs/amendment-2c-c3-valid-dlv-successor
13m 10s
test(formal): the economic SMT and register, formalized — and a vacuo… CodeQL #332: Commit 6574fe5 pushed by cryptskii
13m 41s main
main
13m 41s
test(formal): the economic SMT and register, formalized — and a vacuous theorem repaired on the way in CodeQL #331: Pull request #785 synchronize by cryptskii
12m 40s test/formalize-economic-smt-and-register
test/formalize-economic-smt-and-register
12m 40s
test(formal): the economic SMT and register, formalized — and a vacuous theorem repaired on the way in CodeQL #330: Pull request #785 opened by cryptskii
12m 39s test/formalize-economic-smt-and-register
test/formalize-economic-smt-and-register
12m 39s
docs(sofi): the verification substrate, and the signature algorithm a… CodeQL #329: Commit 0f59c8e pushed by cryptskii
13m 37s main
main
13m 37s
docs(sofi): the verification substrate, and the signature algorithm a foreign verifier cannot derive from the registry CodeQL #328: Pull request #784 opened by cryptskii
10m 37s docs/amendment-2c-c2-verification-substrate
docs/amendment-2c-c2-verification-substrate
10m 37s
docs(sofi): the sixteen economic classes enter the registry, and thei… CodeQL #327: Commit ea88f69 pushed by cryptskii
13m 31s main
main
13m 31s
docs(sofi): the sixteen economic classes enter the registry, and their burn is declared in prose but recorded in no table CodeQL #326: Pull request #783 opened by cryptskii
12m 55s docs/amendment-2c-c1-framework-and-namespace
docs/amendment-2c-c1-framework-and-namespace
12m 55s
chore(deps): bump dtolnay/rust-toolchain from 1.98.0 to 1.120.0 CodeQL #325: Pull request #782 opened by dependabot Bot
12m 32s dependabot/github_actions/dtolnay/rust-toolchain-1.120.0
dependabot/github_actions/dtolnay/rust-toolchain-1.120.0
12m 32s
docs(sofi): 2c-C is four amendments, and the walker has been violatin… CodeQL #324: Commit c71df60 pushed by cryptskii
13m 5s main
main
13m 5s
docs(sofi): 2c-C is four amendments, and the walker has been violating Req 15.3 CodeQL #323: Pull request #781 opened by cryptskii
12m 39s docs/amendment-2c-c-decomposition
docs/amendment-2c-c-decomposition
12m 39s
docs(sofi): the recovery object closes the last slot, and a market b … CodeQL #322: Commit 7815443 pushed by cryptskii
13m 6s main
main
13m 6s
docs(sofi): the recovery object closes the last slot, and a market b becomes constructible CodeQL #321: Pull request #780 opened by cryptskii
12m 38s docs/amendment-2c-b-accepted-successor
docs/amendment-2c-b-accepted-successor
12m 38s
fix(sdk): a bundle nobody stored is not a bundle you may bind against… CodeQL #320: Commit 3a71cea pushed by cryptskii
13m 22s main
main
13m 22s
fix(sdk): a bundle nobody stored is not a bundle you may bind against CodeQL #319: Pull request #779 opened by cryptskii
12m 26s fix/publication-durability-before-bind
fix/publication-durability-before-bind
12m 26s
feat(dlv): QuorumBind becomes the authoritative occupancy mechanism, … CodeQL #318: Commit 6b877f1 pushed by cryptskii
10m 59s main
main
10m 59s
feat(dlv): QuorumBind becomes the authoritative occupancy mechanism, and 2c-A freezes the bundle it binds CodeQL #317: Pull request #778 opened by cryptskii
13m 12s feat/quorumbind-settle-cutover
feat/quorumbind-settle-cutover
13m 12s
CodeQL CodeQL #316: Scheduled
13m 33s main
main
13m 33s
feat(dlv): restart rebuilds a fenced settlement from its immutable bu… CodeQL #315: Commit 22335ea pushed by cryptskii
13m 8s main
main
13m 8s
feat(dlv): restart rebuilds a fenced settlement from its immutable bundle (5b of 5) CodeQL #314: Pull request #777 opened by cryptskii
12m 18s feat/quorumbind-settlement-resume
feat/quorumbind-settlement-resume
12m 18s