Skip to content

Actions: deterministicstatemachine/dsm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Code Quality: Push on main CodeQL - Code Quality #69: by cryptskii
1m 16s main
main
1m 16s
fix(economic): an observer derives one of four answers about a slot c… CI #1648: Commit de45b32 pushed by cryptskii
48m 25s main
main
48m 25s
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 CI #1647: Pull request #767 opened by cryptskii
36m 5s fix/settlement-slot-observation-soundness
fix/settlement-slot-observation-soundness
36m 5s
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
Code Quality: PR #767 CodeQL - Code Quality #68: by cryptskii
1m 26s refs/pull/767/head
refs/pull/767/head
1m 26s
Code Quality: Push on main CodeQL - Code Quality #67: by cryptskii
1m 15s main
main
1m 15s
feat(dlv): the 0x0026 bundle consumes the generic proof, and a trader… CI #1646: Commit 9e2d0bf pushed by cryptskii
54m 17s main
main
54m 17s
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
feat(dlv): the 0x0026 bundle consumes the generic proof, and a trader can build one CI #1645: Pull request #766 opened by cryptskii
48m 42s feat/dlv-reserve-consumption-bundle
feat/dlv-reserve-consumption-bundle
48m 42s
Code Quality: PR #766 CodeQL - Code Quality #66: by cryptskii
1m 16s refs/pull/766/head
refs/pull/766/head
1m 16s
feat(dlv): a trader can find and verify the owner's reserve proof (#765) CI #1644: Commit d4f3c13 pushed by cryptskii
52m 18s main
main
52m 18s
feat(dlv): a trader can find and verify the owner's reserve proof (#765) CodeQL #290: Commit d4f3c13 pushed by cryptskii
13m 4s main
main
13m 4s
Code Quality: Push on main CodeQL - Code Quality #65: by cryptskii
1m 23s main
main
1m 23s
feat(dlv): a trader can find and verify the owner's reserve proof CodeQL #289: Pull request #765 opened by cryptskii
10m 37s feat/dlv-reserve-consumption-producer
feat/dlv-reserve-consumption-producer
10m 37s
feat(dlv): a trader can find and verify the owner's reserve proof CI #1643: Pull request #765 opened by cryptskii
53m 59s feat/dlv-reserve-consumption-producer
feat/dlv-reserve-consumption-producer
53m 59s
Code Quality: PR #765 CodeQL - Code Quality #64: by cryptskii
1m 17s refs/pull/765/head
refs/pull/765/head
1m 17s
Code Quality: Push on main CodeQL - Code Quality #63: by cryptskii
1m 57s main
main
1m 57s
feat(economic): a device can publish, and a stranger can verify, whic… CI #1642: Commit 953c5ce pushed by cryptskii
48m 54s main
main
48m 54s
feat(economic): a device can publish, and a stranger can verify, whic… CodeQL #288: Commit 953c5ce pushed by cryptskii
13m 52s main
main
13m 52s
fix(dlv): the policy-digest derivation is an AMM statement, and the d… CodeQL #287: Commit 472fb7a pushed by cryptskii
13m 37s main
main
13m 37s
fix(dlv): the policy-digest derivation is an AMM statement, and the d… CI #1641: Commit 472fb7a pushed by cryptskii
52m 56s main
main
52m 56s
Code Quality: Push on main CodeQL - Code Quality #62: by cryptskii
1m 16s main
main
1m 16s
feat(economic): a device can publish, and a stranger can verify, which leaves its registered root commits CodeQL #286: Pull request #764 opened by cryptskii
12m 27s feat/economic-proof-artifact-transport
feat/economic-proof-artifact-transport
12m 27s