Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
315 workflow runs
315 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): restart rebuilds a fenced settlement from its immutable bu… CodeQL #315: Commit 22335ea pushed by cryptskii
In progress main
main
In progress
feat(dlv): restart rebuilds a fenced settlement from its immutable bundle (5b of 5) CodeQL #314: Pull request #777 opened by cryptskii
In progress feat/quorumbind-settlement-resume
feat/quorumbind-settlement-resume
In progress
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
fix(node): every /admin endpoint is behind the admin token, not just … CodeQL #299: Commit e3e8d14 pushed by cryptskii
11m 48s main
main
11m 48s
fix(economic): a slot observation keeps its taxonomy, and the shipped… CodeQL #298: Commit 0271535 pushed by cryptskii
13m 39s main
main
13m 39s
fix(economic): a slot observation keeps its taxonomy, and the shipped backend proves the registers CodeQL #297: Pull request #768 synchronize by cryptskii
12m 25s fix/slot-observation-taxonomy-and-postgres-proof
fix/slot-observation-taxonomy-and-postgres-proof
12m 25s
fix(node): every /admin endpoint is behind the admin token, not just the ones that happened to be layered CodeQL #296: Pull request #769 opened by cryptskii
12m 24s fix/admin-registry-endpoints-require-auth
fix/admin-registry-endpoints-require-auth
12m 24s
fix(economic): a slot observation keeps its taxonomy, and the shipped backend proves the registers CodeQL #295: Pull request #768 opened by cryptskii
9m 40s fix/slot-observation-taxonomy-and-postgres-proof
fix/slot-observation-taxonomy-and-postgres-proof
9m 40s
fix(economic): an observer derives one of four answers about a slot c… CodeQL #294: Commit de45b32 pushed by cryptskii
13m 27s main
main
13m 27s
fix(economic): an observer derives one of four answers about a slot cell, and an error is never emptiness CodeQL #293: Pull request #767 opened by cryptskii
12m 14s fix/settlement-slot-observation-soundness
fix/settlement-slot-observation-soundness
12m 14s
feat(dlv): the 0x0026 bundle consumes the generic proof, and a trader… CodeQL #292: Commit 9e2d0bf pushed by cryptskii
12m 1s main
main
12m 1s
feat(dlv): the 0x0026 bundle consumes the generic proof, and a trader can build one CodeQL #291: Pull request #766 opened by cryptskii
12m 39s feat/dlv-reserve-consumption-bundle
feat/dlv-reserve-consumption-bundle
12m 39s