Skip to content

Actions: NyxFoundation/verity

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
47 workflow runs
47 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
refactor(docs): consolidate design docs under docs/design (#31) Docs #47: Commit 8a7d94f pushed by adust09
8s develop
develop
8s
refactor(docs): consolidate design docs under docs/design Docs #46: Pull request #31 opened by adust09
9s refactor/consolidate-design-docs
refactor/consolidate-design-docs
9s
chore: sync PRD into develop and run CI on DEV (#27) Docs #45: Commit a8b8081 pushed by adust09
11s develop
develop
11s
chore: sync PRD into develop and run CI on DEV Docs #44: Pull request #27 opened by adust09
13s chore/sync-prd-into-dev-20260820-1529
chore/sync-prd-into-dev-20260820-1529
13s
chore: follow the upstream leanMultisig -> leanVM repository rename (… Docs #43: Commit 02e3d77 pushed by adust09
42s main
main
42s
chore: follow the upstream leanMultisig → leanVM repository rename Docs #42: Pull request #25 opened by adust09
8s chore/leanvm-rename-20260817-1723
chore/leanvm-rename-20260817-1723
8s
docs: specify the verity-db storage schema (#19) Docs #41: Commit 5a689d3 pushed by adust09
40s main
main
40s
docs: specify the verity-db storage schema Docs #40: Pull request #19 synchronize by adust09
13s docs/storage-schema-20260810-2054
docs/storage-schema-20260810-2054
13s
docs: specify the verity-db storage schema Docs #39: Pull request #19 synchronize by adust09
13s docs/storage-schema-20260810-2054
docs/storage-schema-20260810-2054
13s
docs: specify the verity-db storage schema Docs #38: Pull request #19 opened by adust09
18s docs/storage-schema-20260810-2054
docs/storage-schema-20260810-2054
18s
ci(lint): consolidate lint into pre-commit, front-load locally (#16) Docs #37: Commit 71b59e8 pushed by adust09
48s main
main
48s
ci(lint): consolidate lint into pre-commit, front-load locally Docs #36: Pull request #16 synchronize by adust09
18s ci/lint-to-pre-commit-v2
ci/lint-to-pre-commit-v2
18s
docs: settle the storage engine and proof retention window (#17) Docs #35: Commit 19f7d3c pushed by adust09
42s main
main
42s
docs: settle the storage engine and proof retention window Docs #34: Pull request #17 opened by adust09
14s docs/storage-and-crate-decisions-20260810-1608
docs/storage-and-crate-decisions-20260810-1608
14s
ci(lint): consolidate lint into pre-commit, front-load locally Docs #33: Pull request #16 opened by adust09
12s ci/lint-to-pre-commit-v2
ci/lint-to-pre-commit-v2
12s
chore(ci): scaffold Rust + static-analysis gates before implementatio… Docs #32: Commit cebc8a2 pushed by adust09
50s main
main
50s
chore(ci): scaffold Rust + static-analysis gates before implementation Docs #31: Pull request #5 synchronize by adust09
11s ci/static-analysis-scaffold
ci/static-analysis-scaffold
11s
chore(ci): scaffold Rust + static-analysis gates before implementation Docs #30: Pull request #5 synchronize by adust09
12s ci/static-analysis-scaffold
ci/static-analysis-scaffold
12s
docs: define the FFI error model and close two trust-base gaps (#15) Docs #29: Commit 71d174a pushed by adust09
40s main
main
40s
docs: document FFI seam marshalling cost and verification policy (#14) Docs #28: Commit 621b074 pushed by adust09
40s main
main
40s
docs: document FFI seam marshalling cost and verification policy Docs #27: Pull request #14 synchronize by adust09
15s docs/ffi-seam-cost-and-verification
docs/ffi-seam-cost-and-verification
15s
docs: define the FFI error model and close two trust-base gaps Docs #26: Pull request #15 opened by adust09
10s docs/error-abi-and-trust-base-gaps
docs/error-abi-and-trust-base-gaps
10s
docs: document FFI seam marshalling cost and verification policy Docs #25: Pull request #14 opened by adust09
10s docs/ffi-seam-cost-and-verification
docs/ffi-seam-cost-and-verification
10s
docs: align architecture and proof-scope docs with kickoff decisions … Docs #24: Commit bd404ea pushed by adust09
36s main
main
36s
docs: align architecture and proof-scope docs with kickoff decisions Docs #23: Pull request #13 opened by adust09
15s docs/align-docs-with-kickoff-decisions
docs/align-docs-with-kickoff-decisions
15s