Skip to content

Actions: deterministicstatemachine/dsm

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
40 workflow runs
40 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
Coverage Coverage #40: Scheduled
1h 29m 4s main
main
1h 29m 4s
fix(sofi): each operation signs its own object, and the P signature i… Coverage #39: Commit 022ddcf pushed by cryptskii
1h 35m 45s main
main
1h 35m 45s
feat(sofi): the fence, the pending fulfillment, and the five producer… Coverage #38: Commit 32edaf2 pushed by cryptskii
1h 40m 32s main
main
1h 40m 32s
feat(sofi): the three SoFi operations, and the beta cap where it belo… Coverage #37: Commit 074c6d0 pushed by cryptskii
1h 20m 18s main
main
1h 20m 18s
feat(sofi): a resolved position joins the validated lineage, and a va… Coverage #36: Commit 574624b pushed by cryptskii
1h 43m 2s main
main
1h 43m 2s
fix(sofi): four static-validation invariants the review found missing… Coverage #35: Commit df246b9 pushed by cryptskii
1h 25m 52s main
main
1h 25m 52s
feat(sofi): static RouteValidation decides an operation from the oper… Coverage #34: Commit a224836 pushed by cryptskii
1h 31m 49s main
main
1h 31m 49s
feat(sofi): one batch fold turns a core's paths into its post-root (#… Coverage #33: Commit dd460de pushed by cryptskii
1h 33m 54s main
main
1h 33m 54s
feat(sofi): the vault's leaves, the cores, B° and vault genesis get t… Coverage #32: Commit d22d5cc pushed by cryptskii
1h 31m 52s main
main
1h 31m 52s
feat(sofi): the trader position resolves over facts, and a conditiona… Coverage #31: Commit c31f372 pushed by cryptskii
1h 35m 13s main
main
1h 35m 13s
refactor(sofi): the DLV tree's commit input is the builder's own prod… Coverage #30: Commit 94d8655 pushed by cryptskii
58m 33s main
main
58m 33s
feat(sofi): v8 persistent DLV tree — content-addressed nodes, shared … Coverage #29: Commit 8d9cc1b pushed by cryptskii
1h 42m 56s main
main
1h 42m 56s
formal(sofi): v8 successor cells and fulfillment in TLA+ — members, t… Coverage #28: Commit d137f08 pushed by cryptskii
1h 29m 21s main
main
1h 29m 21s
formal(sofi): v8 successor cells and atomicity in Lean — registers, t… Coverage #27: Commit b468ec2 pushed by cryptskii
1h 26m 49s main
main
1h 26m 49s
formal(dlv): binding value continuity — the temporal property the reg… Coverage #26: Commit b90a0d2 pushed by cryptskii
1h 34m 28s main
main
1h 34m 28s
feat(sofi): v8 wire registry — P/G/F objects, DSM/sofi tags, derivati… Coverage #25: Commit b10fa9b pushed by cryptskii
1h 42m 42s main
main
1h 42m 42s
Coverage Coverage #24: Scheduled
1h 31m 58s main
main
1h 31m 58s
Coverage Coverage #23: Scheduled
1h 32m 25s main
main
1h 32m 25s
feat(tokens): uploaded coin artwork in the built-in coin look; the ti… Coverage #22: Commit 4f9773c pushed by cryptskii
1h 32m 21s main
main
1h 32m 21s
test(rig): reconcile fails closed unless reconciliation is positively… Coverage #21: Commit 7c5c11a pushed by cryptskii
1h 32m 21s main
main
1h 32m 21s
fix(android): identity queries before storage init no longer panic, a… Coverage #20: Commit 0023885 pushed by cryptskii
1h 34m 35s main
main
1h 34m 35s
fix(sdk): the sync finishes an economic admission stranded by a crash… Coverage #19: Commit bb9115b pushed by cryptskii
1h 33m 23s main
main
1h 33m 23s
test(rig): two-hop route proofs and the rig changes that ran B4 on ph… Coverage #18: Commit 1265419 pushed by cryptskii
1h 30m 37s main
main
1h 30m 37s
Coverage Coverage #17: Scheduled
1h 21m 34s main
main
1h 21m 34s
feat(sofi): bounded graph discovery for multi-hop routes, amendment 2… Coverage #16: Commit 109d360 pushed by cryptskii
1h 0m 58s main
main
1h 0m 58s