Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
324 workflow runs
324 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
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
feat(dlv): the canonical SettlementBundle a quorum transaction binds … CodeQL #313: Commit 4548e81 pushed by cryptskii
13m 17s main
main
13m 17s
feat(dlv): the canonical SettlementBundle a quorum transaction binds (5a of 5) CodeQL #312: Pull request #776 opened by cryptskii
12m 48s feat/quorumbind-switch-settle-paths
feat/quorumbind-switch-settle-paths
12m 48s
feat(dlv): the client speaks the generic endpoints, and restart resol… CodeQL #311: Commit fab8c6a pushed by cryptskii
13m 38s main
main
13m 38s
feat(dlv): the client speaks the generic endpoints, and restart resolves every fenced parent CodeQL #310: Pull request #775 opened by cryptskii
12m 42s feat/quorumbind-http-transport-and-restart
feat/quorumbind-http-transport-and-restart
12m 42s
feat(dlv): an unresolved settlement fences the trader parent, and a l… CodeQL #309: Commit 68783fc pushed by cryptskii
13m 12s main
main
13m 12s
feat(dlv): an unresolved settlement fences the trader parent, and a lost commit stays fenced CodeQL #308: Pull request #774 opened by cryptskii
12m 23s feat/quorumbind-fence-and-recovery
feat/quorumbind-fence-and-recovery
12m 23s
feat(dlv): Class K drives a bundle to a consume-once decision over th… CodeQL #307: Commit 6e2e67f pushed by cryptskii
13m 10s main
main
13m 10s
feat(dlv): Class K drives a bundle to a consume-once decision over the generic register CodeQL #306: Pull request #773 opened by cryptskii
12m 21s feat/class-k-quorumbind-driver
feat/class-k-quorumbind-driver
12m 21s
feat(storage): a member holds a generic binding record and exchanges … CodeQL #305: Commit 558933e pushed by cryptskii
12m 53s main
main
12m 53s
feat(storage): a member holds a generic binding record and exchanges it conditionally, blind to settlement CodeQL #304: Pull request #772 opened by cryptskii
12m 46s feat/class-n-generic-binding-primitive
feat/class-n-generic-binding-primitive
12m 46s
feat(economic): the beta root register is pinned to the register hist… CodeQL #303: Commit b0dc977 pushed by cryptskii
13m 6s main
main
13m 6s
feat(economic): the beta root register is pinned to the register histories the real fleet holds CodeQL #302: Pull request #771 opened by cryptskii
12m 8s feat/pin-root-register-set-id
feat/pin-root-register-set-id
12m 8s
feat(ccb): a storage set commits which register histories it trusts, … CodeQL #301: Commit f00d1e0 pushed by cryptskii
13m 18s main
main
13m 18s
feat(ccb): a storage set commits which register histories it trusts, not just which nodes CodeQL #300: Pull request #770 opened by cryptskii
10m 44s feat/register-incarnation-binding
feat/register-incarnation-binding
10m 44s