Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
265 workflow runs
265 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
CodeQL CodeQL #265: Scheduled
13m 6s main
main
13m 6s
fix(dbtc): fence every door that mints a publicly-derivable Bitcoin o… CodeQL #264: Commit 132aede pushed by cryptskii
13m 16s main
main
13m 16s
fix(dbtc): fence every door that mints a publicly-derivable Bitcoin output CodeQL #263: Pull request #753 opened by cryptskii
10m 56s fix/dbtc-public-witness-fence
fix/dbtc-public-witness-fence
10m 56s
Merge pull request #752 from deterministicstatemachine/feat/dlv-token… CodeQL #262: Commit 4ca48d8 pushed by cryptskii
13m 20s main
main
13m 20s
feat(economic): the DLV market-leg token-policy conjunct — enforced at three layers CodeQL #261: Pull request #752 opened by cryptskii
13m 5s feat/dlv-token-policy-enforcement
feat/dlv-token-policy-enforcement
13m 5s
Merge pull request #751 from deterministicstatemachine/feat/0x0029-is… CodeQL #260: Commit 0efa976 pushed by cryptskii
13m 20s main
main
13m 20s
feat(economic): the 0x0029 issuance producer — token.mint is the one mint channel CodeQL #259: Pull request #751 opened by cryptskii
12m 22s feat/0x0029-issuance-producer
feat/0x0029-issuance-producer
12m 22s
Merge pull request #750 from deterministicstatemachine/chore/ci-board… CodeQL #258: Commit 668cf90 pushed by cryptskii
13m 4s main
main
13m 4s
chore(ci): the merge gate tests in --release; release workflow gains --test-threads=1 CodeQL #257: Pull request #750 opened by cryptskii
12m 43s chore/ci-board-release-profile
chore/ci-board-release-profile
12m 43s
Merge pull request #749 from deterministicstatemachine/test/amm-fused… CodeQL #256: Commit 2e2e920 pushed by cryptskii
13m 45s main
main
13m 45s
test(dlv): pin the SoFi §5.1 fused-rounding rule with a conformance vector CodeQL #255: Pull request #749 synchronize by cryptskii
11m 2s test/amm-fused-rounding-conformance-vector
test/amm-fused-rounding-conformance-vector
11m 2s
Merge pull request #748 from deterministicstatemachine/feat/0x0029-au… CodeQL #254: Commit 68c5a75 pushed by cryptskii
13m 4s main
main
13m 4s
test(dlv): pin the SoFi §5.1 fused-rounding rule with a conformance vector CodeQL #253: Pull request #749 opened by cryptskii
12m 39s test/amm-fused-rounding-conformance-vector
test/amm-fused-rounding-conformance-vector
12m 39s
feat(economic): class 0x0029 AuthorizedIssuanceV1 — the missing source predicate CodeQL #252: Pull request #748 opened by cryptskii
8m 12s feat/0x0029-authorized-issuance-v1
feat/0x0029-authorized-issuance-v1
8m 12s
Merge pull request #747 from deterministicstatemachine/fix/fence-unad… CodeQL #251: Commit afa58f1 pushed by cryptskii
12m 57s main
main
12m 57s
fix(economic): refuse issuance at the accepting layer until 0x0029 exists CodeQL #250: Pull request #747 opened by cryptskii
10m 47s fix/fence-unadmitted-issuance-at-the-accepting-layer
fix/fence-unadmitted-issuance-at-the-accepting-layer
10m 47s
Merge pull request #746 from deterministicstatemachine/feat/authentic… CodeQL #249: Commit 7b59389 pushed by cryptskii
11m 51s main
main
11m 51s
feat(dlv): the authenticated frontier is a live quorum cell walk CodeQL #248: Pull request #746 opened by cryptskii
12m 25s feat/authenticated-frontier-quorum-cell-walk
feat/authenticated-frontier-quorum-cell-walk
12m 25s
Merge pull request #745 from deterministicstatemachine/fix/transfer-o… CodeQL #247: Commit 40eca6f pushed by cryptskii
10m 56s main
main
10m 56s
fix(economic): the debit locator is a Transfer fact; live DLV cutover recorded as blocked CodeQL #246: Pull request #745 opened by cryptskii
12m 23s fix/transfer-only-debit-locator
fix/transfer-only-debit-locator
12m 23s
Merge pull request #744 from deterministicstatemachine/feat/dlv-owner… CodeQL #245: Commit 1280305 pushed by cryptskii
13m 55s main
main
13m 55s
feat(economic): the DlvOwnerApplyV2 write set and the 0x0027 settlement-payment arm — 3.6 PR4 CodeQL #244: Pull request #744 opened by cryptskii
12m 21s feat/dlv-owner-apply-settlement-payment-arm
feat/dlv-owner-apply-settlement-payment-arm
12m 21s
Merge pull request #743 from deterministicstatemachine/feat/dlv-settl… CodeQL #243: Commit 1cc3c8e pushed by cryptskii
13m 39s main
main
13m 39s
feat(economic): the DlvSettle write set and the 0x0026 reserve-consumption arm — 3.6 PR3 CodeQL #242: Pull request #743 opened by cryptskii
12m 45s feat/dlv-settle-write-set-and-reserve-consumption-arm
feat/dlv-settle-write-set-and-reserve-consumption-arm
12m 45s
Merge pull request #742 from deterministicstatemachine/refactor/delet… CodeQL #241: Commit f53f0dd pushed by cryptskii
13m 23s main
main
13m 23s