Skip to content

Actions: PromptExecution/ledgrrr

Actions

Kani Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
39 workflow runs
39 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
feat(viz): holonic viz engine — Cytoscape, KerML codegen, WASM filter… Kani Proofs #39: Commit 083dc9c pushed by elasticdotventures
38s main
main
38s
feat(viz): holonic viz engine — Cytoscape, KerML codegen, WASM filters, TypeScript build Kani Proofs #38: Pull request #98 synchronize by elasticdotventures
34s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
34s
Merge branch 'main' into feat/holonic-viz-sysml-owl2-cytoscape Kani Proofs #37: Commit 93e9f5e pushed by elasticdotventures
40s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
40s
feat(viz): P3 — holon-viz-wasm crate + TypeScript/esbuild build step Kani Proofs #36: Commit fe2d6f3 pushed by promptexecutionerr
6h 5m 12s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
6h 5m 12s
docs(agents): retrospective coordinator protocol — explore-before-bui… Kani Proofs #35: Commit a223c68 pushed by promptexecutionerr
6h 5m 10s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
6h 5m 10s
chore: update Cargo.lock for holon-viz dep in ledgerr-host Kani Proofs #34: Commit d4b7b95 pushed by promptexecutionerr
4h 0m 34s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
4h 0m 34s
feat(viz): integrate Cytoscape.js into Tauri via VZ panel + CDP test Kani Proofs #33: Commit aa7f420 pushed by promptexecutionerr
4h 22m 38s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
4h 22m 38s
feat(holon-viz): HTML renderer + Tauri CDP observer Kani Proofs #32: Commit 4802c6f pushed by promptexecutionerr
6h 5m 4s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
6h 5m 4s
chore(version): v1.9.0 Kani Proofs #31: Commit 15b0601 pushed by promptexecutionerr
6h 5m 10s main
main
6h 5m 10s
feat(holon-viz): scaffold holonic viz engine + model server stub Kani Proofs #30: Commit 66f6ea4 pushed by promptexecutionerr
4h 28m 35s feat/holonic-viz-sysml-owl2-cytoscape
feat/holonic-viz-sysml-owl2-cytoscape
4h 28m 35s
[codex] validate GitHub Pages docs payload in CI (#96) Kani Proofs #29: Commit ef819ea pushed by promptexecutionerr
6h 5m 5s main
main
6h 5m 5s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #28: Pull request #96 synchronize by promptexecutionerr
6h 5m 4s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
6h 5m 4s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #27: Pull request #96 synchronize by promptexecutionerr
1h 19m 14s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
1h 19m 14s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #26: Pull request #96 synchronize by promptexecutionerr
7m 9s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
7m 9s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #25: Pull request #96 synchronize by promptexecutionerr
6h 0m 12s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
6h 0m 12s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #24: Pull request #96 synchronize by promptexecutionerr
6h 5m 5s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
6h 5m 5s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #23: Pull request #96 synchronize by promptexecutionerr
6h 5m 12s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
6h 5m 12s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #22: Pull request #96 synchronize by promptexecutionerr
6h 5m 4s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
6h 5m 4s
[codex] validate GitHub Pages docs payload in CI Kani Proofs #21: Pull request #96 opened by elasticdotventures
3h 27m 36s codex/validate-pages-docs-ci
codex/validate-pages-docs-ci
3h 27m 36s
fix: close 9 of 10 identified pipeline gaps (ops stubs, semantic matc… Kani Proofs #20: Commit 994b34c pushed by elasticdotventures
6h 5m 10s main
main
6h 5m 10s
feat(prd-6-future): ledger-attest proc-macro crate — #[attested] lint… Kani Proofs #19: Commit 5da2f0a pushed by elasticdotventures
3h 15m 12s main
main
3h 15m 12s
fix: close 9 of 10 identified pipeline gaps (ops stubs, semantic matching) Kani Proofs #18: Pull request #95 opened by promptexecutionerr
6h 5m 4s feat/gap-triage-and-fix
feat/gap-triage-and-fix
6h 5m 4s
fix(gaps-4-6): local ReconcileAccountOp + cross-lingual semantic matc… Kani Proofs #17: Commit 03bff39 pushed by promptexecutionerr
6h 5m 11s feat/gap-triage-and-fix
feat/gap-triage-and-fix
6h 5m 11s
feat(prd-6-future): ledger-attest proc-macro crate — #[attested] lint skeleton (#59) Kani Proofs #16: Pull request #94 synchronize by promptexecutionerr
6h 5m 10s feat/prd6-ledger-attest
feat/prd6-ledger-attest
6h 5m 10s
feat(prd-6-future): wire 5 more attestees + Kani harnesses for Z3Resu… Kani Proofs #15: Commit 23babc0 pushed by promptexecutionerr
6h 5m 12s feat/prd6-ledger-attest
feat/prd6-ledger-attest
6h 5m 12s