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
test(dlv): a fresh two-asset market runs its whole lifecycle with eve… CI #1824: Commit 9d81b7a pushed by cryptskii
1h 7m 54s main
main
1h 7m 54s
test(dlv): a fresh two-asset market runs its whole lifecycle with eve… CodeQL #471: Commit 9d81b7a pushed by cryptskii
12m 53s main
main
12m 53s
Code Quality: Push on main CodeQL - Code Quality #254: by cryptskii
1m 21s main
main
1m 21s
test(dlv): a fresh two-asset market runs its whole lifecycle with every step admitted CodeQL #470: Pull request #866 opened by cryptskii
10m 45s test/fresh-two-asset-lifecycle
test/fresh-two-asset-lifecycle
10m 45s
test(dlv): a fresh two-asset market runs its whole lifecycle with every step admitted CI #1823: Pull request #866 opened by cryptskii
56m 41s test/fresh-two-asset-lifecycle
test/fresh-two-asset-lifecycle
56m 41s
Code Quality: PR #866 CodeQL - Code Quality #253: by cryptskii
1m 23s refs/pull/866/head
refs/pull/866/head
1m 23s
Code Quality: Push on main CodeQL - Code Quality #252: by cryptskii
1m 30s main
main
1m 30s
feat(2c-G): the fresh owner baseline — strangers compose from the cau… CI #1822: Commit 881109d pushed by cryptskii
1h 14m 16s main
main
1h 14m 16s
feat(2c-G): the fresh owner baseline — strangers compose from the cau… CodeQL #469: Commit 881109d pushed by cryptskii
13m 12s main
main
13m 12s
feat(2c-G): the fresh owner baseline — strangers compose from the caught-up V_k, history falls back to the immutable birth anchor (PR 3 of 3: G3) CI #1821: Pull request #865 opened by cryptskii
1h 18m 12s feat/2c-g-fresh-owner-baseline
feat/2c-g-fresh-owner-baseline
1h 18m 12s
feat(2c-G): the fresh owner baseline — strangers compose from the caught-up V_k, history falls back to the immutable birth anchor (PR 3 of 3: G3) CodeQL #468: Pull request #865 opened by cryptskii
12m 48s feat/2c-g-fresh-owner-baseline
feat/2c-g-fresh-owner-baseline
12m 48s
Code Quality: PR #865 CodeQL - Code Quality #251: by cryptskii
1m 19s refs/pull/865/head
refs/pull/865/head
1m 19s
feat(2c-G): the admitted terminal close — one commit path that derive… CI #1820: Commit 099f4fd pushed by cryptskii
1h 5m 51s main
main
1h 5m 51s
feat(2c-G): the admitted terminal close — one commit path that derive… CodeQL #467: Commit 099f4fd pushed by cryptskii
13m 29s main
main
13m 29s
Code Quality: Push on main CodeQL - Code Quality #250: by cryptskii
1m 20s main
main
1m 20s
feat(2c-G): the admitted terminal close — one commit path that derives every close fact from the composition (PR 2 of 3: G4) CI #1819: Pull request #864 opened by cryptskii
1h 3m 1s feat/2c-g-admitted-close
feat/2c-g-admitted-close
1h 3m 1s
feat(2c-G): the admitted terminal close — one commit path that derives every close fact from the composition (PR 2 of 3: G4) CodeQL #466: Pull request #864 opened by cryptskii
13m 26s feat/2c-g-admitted-close
feat/2c-g-admitted-close
13m 26s
Code Quality: PR #864 CodeQL - Code Quality #249: by cryptskii
1m 19s refs/pull/864/head
refs/pull/864/head
1m 19s
feat(2c-G): owner catch-up, admitted and in order — one engine behind… CI #1818: Commit 8edc2fd pushed by cryptskii
1h 5m 37s main
main
1h 5m 37s
feat(2c-G): owner catch-up, admitted and in order — one engine behind… CodeQL #465: Commit 8edc2fd pushed by cryptskii
13m 13s main
main
13m 13s
Code Quality: Push on main CodeQL - Code Quality #248: by cryptskii
1m 28s main
main
1m 28s
feat(2c-G): owner catch-up — admitted, ordered DlvOwnerApplyV2 behind storage.sync and dlv.reconcile (PR 1 of 3: G1 + G2) CodeQL #464: Pull request #863 opened by cryptskii
11m 12s feat/2c-g-owner-catch-up-admission
feat/2c-g-owner-catch-up-admission
11m 12s
feat(2c-G): owner catch-up — admitted, ordered DlvOwnerApplyV2 behind storage.sync and dlv.reconcile (PR 1 of 3: G1 + G2) CI #1817: Pull request #863 opened by cryptskii
56m 16s feat/2c-g-owner-catch-up-admission
feat/2c-g-owner-catch-up-admission
56m 16s
Code Quality: PR #863 CodeQL - Code Quality #247: by cryptskii
1m 20s refs/pull/863/head
refs/pull/863/head
1m 20s
Code Quality: Push on main CodeQL - Code Quality #246: by cryptskii
1m 29s main
main
1m 29s