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
docs(plan): Step 3 tells an implementer to build a class that belongs to 2c-D CodeQL #401: Pull request #823 opened by cryptskii
13m 7s docs/5c-2-step3-tab-half-belongs-to-2c-d
docs/5c-2-step3-tab-half-belongs-to-2c-d
13m 7s
docs(plan): Step 3 tells an implementer to build a class that belongs to 2c-D CI #1754: Pull request #823 opened by cryptskii
In progress docs/5c-2-step3-tab-half-belongs-to-2c-d
docs/5c-2-step3-tab-half-belongs-to-2c-d
In progress
Code Quality: PR #823 CodeQL - Code Quality #165: by cryptskii
1m 29s refs/pull/823/head
refs/pull/823/head
1m 29s
docs(sofi): three operator docs still say the trade settles, and it does not CodeQL #400: Pull request #822 opened by cryptskii
9m 40s docs/sofi-runbooks-market-settle-is-fail-closed
docs/sofi-runbooks-market-settle-is-fail-closed
9m 40s
docs(sofi): three operator docs still say the trade settles, and it does not CI #1753: Pull request #822 opened by cryptskii
43m 31s docs/sofi-runbooks-market-settle-is-fail-closed
docs/sofi-runbooks-market-settle-is-fail-closed
43m 31s
Code Quality: PR #822 CodeQL - Code Quality #164: by cryptskii
1m 22s refs/pull/822/head
refs/pull/822/head
1m 22s
test(ccb): pin the two frozen byte grammars, so "byte-identical" stops being an unchecked claim CodeQL #399: Pull request #821 opened by cryptskii
12m 17s test/pin-the-frozen-byte-grammars
test/pin-the-frozen-byte-grammars
12m 17s
test(ccb): pin the two frozen byte grammars, so "byte-identical" stops being an unchecked claim CI #1752: Pull request #821 opened by cryptskii
48m 12s test/pin-the-frozen-byte-grammars
test/pin-the-frozen-byte-grammars
48m 12s
Code Quality: PR #821 CodeQL - Code Quality #163: by cryptskii
2m 0s refs/pull/821/head
refs/pull/821/head
2m 0s
docs(plan): a second status pass on 5c-2, from an adversarial re-read… CI #1751: Commit c794233 pushed by cryptskii
54m 31s main
main
54m 31s
docs(plan): a second status pass on 5c-2, from an adversarial re-read… CodeQL #398: Commit c794233 pushed by cryptskii
14m 56s main
main
14m 56s
Code Quality: Push on main CodeQL - Code Quality #162: by cryptskii
2m 59s main
main
2m 59s
docs(dlv): the trader fence's own prose contradicted Ruling V3, and i… CI #1750: Commit b10c262 pushed by cryptskii
50m 21s main
main
50m 21s
docs(dlv): the trader fence's own prose contradicted Ruling V3, and i… CodeQL #397: Commit b10c262 pushed by cryptskii
13m 58s main
main
13m 58s
Code Quality: Push on main CodeQL - Code Quality #161: by cryptskii
2m 24s main
main
2m 24s
docs(plan): a second status pass on 5c-2, from an adversarial re-read rather than a survey CodeQL #396: Pull request #820 opened by cryptskii
12m 17s docs/5c-2-plan-second-status-pass
docs/5c-2-plan-second-status-pass
12m 17s
docs(plan): a second status pass on 5c-2, from an adversarial re-read rather than a survey CI #1749: Pull request #820 opened by cryptskii
48m 14s docs/5c-2-plan-second-status-pass
docs/5c-2-plan-second-status-pass
48m 14s
Code Quality: PR #820 CodeQL - Code Quality #160: by cryptskii
1m 21s refs/pull/820/head
refs/pull/820/head
1m 21s
docs(dlv): the trader fence's own prose contradicted Ruling V3, and it misled a reader CodeQL #395: Pull request #819 opened by cryptskii
12m 33s fix/trader-fence-prose-contradicts-ruling-v3
fix/trader-fence-prose-contradicts-ruling-v3
12m 33s
docs(dlv): the trader fence's own prose contradicted Ruling V3, and it misled a reader CI #1748: Pull request #819 opened by cryptskii
49m 59s fix/trader-fence-prose-contradicts-ruling-v3
fix/trader-fence-prose-contradicts-ruling-v3
49m 59s
Code Quality: PR #819 CodeQL - Code Quality #159: by cryptskii
2m 3s refs/pull/819/head
refs/pull/819/head
2m 3s
Code Quality: Push on main CodeQL - Code Quality #158: by cryptskii
1m 39s main
main
1m 39s
docs(plan): record what the encoder cut falsified in the 5c-2 plan, w… CI #1747: Commit 30bec58 pushed by cryptskii
52m 40s main
main
52m 40s
docs(plan): record what the encoder cut falsified in the 5c-2 plan, w… CodeQL #394: Commit 30bec58 pushed by cryptskii
13m 50s main
main
13m 50s
feat(dlv): 2c-C4's correspondence, and a realization fact whose last … CodeQL #393: Commit b699773 pushed by cryptskii
13m 21s main
main
13m 21s