Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
215 workflow runs
215 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
Merge pull request #730 from deterministicstatemachine/fix/clippy-chu… CodeQL #215: Commit 3e86c74 pushed by cryptskii
12m 50s main
main
12m 50s
fix(sdk): use as_chunks in capsule counterparty decode — unbreaks CI on clippy 1.98 CodeQL #214: Pull request #730 opened by cryptskii
9m 53s fix/clippy-chunks-exact-as-chunks
fix/clippy-chunks-exact-as-chunks
9m 53s
Merge pull request #729 from deterministicstatemachine/feat/economic-… CodeQL #213: Commit 39f3edb pushed by cryptskii
14m 47s main
main
14m 47s
feat(economic): credit provenance semantics CodeQL #212: Pull request #729 opened by cryptskii
7m 48s feat/economic-provenance-semantics
feat/economic-provenance-semantics
7m 48s
Merge pull request #728 from deterministicstatemachine/feat/economic-… CodeQL #211: Commit ed488a8 pushed by cryptskii
13m 31s main
main
13m 31s
feat(economic): admission lifecycle, pending fence, validated successor CodeQL #210: Pull request #728 opened by cryptskii
12m 24s feat/economic-admission-lifecycle
feat/economic-admission-lifecycle
12m 24s
Merge pull request #727 from deterministicstatemachine/feat/economic-… CodeQL #209: Commit 98788b5 pushed by cryptskii
12m 52s main
main
12m 52s
feat(economic): economic lineage and register CodeQL #208: Pull request #727 opened by cryptskii
12m 40s feat/economic-lineage-register
feat/economic-lineage-register
12m 40s
Merge pull request #726 from deterministicstatemachine/feat/provenanc… CodeQL #207: Commit 614835a pushed by cryptskii
13m 39s main
main
13m 39s
feat(economic): provenance wire freeze — inline credit sources in 0x001D CodeQL #206: Pull request #726 opened by cryptskii
12m 37s feat/provenance-wire-freeze
feat/provenance-wire-freeze
12m 37s
Merge pull request #725 from deterministicstatemachine/docs/verificat… CodeQL #205: Commit eb3a4f8 pushed by cryptskii
10m 20s main
main
10m 20s
Merge pull request #724 from deterministicstatemachine/feat/economic-… CodeQL #204: Commit 6b32242 pushed by cryptskii
12m 44s main
main
12m 44s
docs(verification): what counts as a board, as tracked repo doctrine CodeQL #203: Pull request #725 opened by cryptskii
12m 7s docs/verification-doctrine
docs/verification-doctrine
12m 7s
feat(economic): R_econ primitives — tree, keys, leaf states, witness verifier, classifier CodeQL #202: Pull request #724 opened by cryptskii
12m 11s feat/economic-primitives
feat/economic-primitives
12m 11s
Merge pull request #723 from deterministicstatemachine/docs/retract-u… CodeQL #201: Commit 16961be pushed by cryptskii
12m 59s main
main
12m 59s
docs: retract claims the code does not establish; Req 21.19 is two-of-three CodeQL #200: Pull request #723 opened by cryptskii
12m 42s docs/retract-unproven-receipt-claims-and-req-21-19
docs/retract-unproven-receipt-claims-and-req-21-19
12m 42s
Merge pull request #722 from deterministicstatemachine/fix/test-helpe… CodeQL #199: Commit d719320 pushed by cryptskii
13m 4s main
main
13m 4s
fix(test): seed fixture balances instead of minting; repair the faucet-dependent suites CodeQL #198: Pull request #722 opened by cryptskii
12m 20s fix/test-helpers-seam-for-faucet-free-fixtures
fix/test-helpers-seam-for-faucet-free-fixtures
12m 20s
Merge pull request #721 from deterministicstatemachine/fix/builtin-mi… CodeQL #197: Commit 7b57d4f pushed by cryptskii
13m 6s main
main
13m 6s
fix(security): refuse builtin ERA/dBTC issuance at the accepting transition CodeQL #196: Pull request #721 opened by cryptskii
12m 22s fix/builtin-mint-accepting-layer-authorization
fix/builtin-mint-accepting-layer-authorization
12m 22s
Merge pull request #720 from deterministicstatemachine/fix/ad-vault-p… CodeQL #195: Commit 5a18b34 pushed by cryptskii
13m 17s main
main
13m 17s
fix(dlv): the advertisement's vault post is a frozen artifact, not a DLVManager derivation CodeQL #194: Pull request #720 opened by cryptskii
12m 20s fix/ad-vault-proto-survives-restart
fix/ad-vault-proto-survives-restart
12m 20s
Merge pull request #719 from deterministicstatemachine/docs/rev15-req… CodeQL #193: Commit e2192d6 pushed by cryptskii
14m 16s main
main
14m 16s
docs(rev15): Req 6.13 states the deployed three-member/q=2 beta profile CodeQL #192: Pull request #719 opened by cryptskii
12m 15s docs/rev15-req613-three-member-profile
docs/rev15-req613-three-member-profile
12m 15s
Merge pull request #718 from deterministicstatemachine/fix/env-catalo… CodeQL #191: Commit dfbdf83 pushed by cryptskii
10m 43s main
main
10m 43s