Skip to content

Actions: NikhilRaikwar/PlanProof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 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: align top eval metric terms with benchmark table PlanProof CI #29: Commit ad9be4e pushed by NikhilRaikwar
55s main
main
55s
docs: repair dead links, update deployment status, and surface eval m… PlanProof CI #28: Commit 0ee053b pushed by NikhilRaikwar
1m 13s main
main
1m 13s
docs: repair dead links, update deployment status, and surface eval m… PlanProof CI #27: Commit 54b881d pushed by NikhilRaikwar
1m 24s main
main
1m 24s
fix(config): enforce production Cloud Tasks and OIDC config when veri… PlanProof CI #26: Commit ff1cca9 pushed by NikhilRaikwar
1m 28s main
main
1m 28s
Merge pull request #1 from NikhilRaikwar/cost-hardening-zero-idle PlanProof CI #25: Commit 9a9d7d9 pushed by NikhilRaikwar
1m 17s main
main
1m 17s
feat: migrate PlanProof verification to zero-idle Cloud Tasks architecture PlanProof CI #24: Pull request #1 opened by NikhilRaikwar
1m 28s cost-hardening-zero-idle
cost-hardening-zero-idle
1m 28s
docs: fix worker command and demo wording PlanProof CI #23: Commit cda21ba pushed by NikhilRaikwar
1m 7s main
main
1m 7s
docs(repo): align public documentation and deployment hygiene PlanProof CI #22: Commit b7fad5c pushed by NikhilRaikwar
1m 21s main
main
1m 21s
fix(authority): fail closed on production path membership verification PlanProof CI #21: Commit d23de6a pushed by NikhilRaikwar
1m 23s main
main
1m 23s
fix(correctness): increase default verification iterations budget PlanProof CI #20: Commit d66077d pushed by NikhilRaikwar
58s main
main
58s
fix(correctness): deterministic must_exist derivation, output-fidelit… PlanProof CI #19: Commit 9f175fa pushed by NikhilRaikwar
1m 21s main
main
1m 21s
fix(ingestion): require manifest_complete for snapshot reuse and repl… PlanProof CI #18: Commit bdb4148 pushed by NikhilRaikwar
1m 16s main
main
1m 16s
fix(snapshots): resolve public repository source url for projects PlanProof CI #17: Commit e2a18b0 pushed by NikhilRaikwar
1m 48s main
main
1m 48s
fix(prod): complete production correctness cleanup for Mongo TLS, git… PlanProof CI #16: Commit 98814cf pushed by NikhilRaikwar
1m 12s main
main
1m 12s
feat(smoke): add Aelix smoke runner module for production verification PlanProof CI #15: Commit db13905 pushed by NikhilRaikwar
1m 35s main
main
1m 35s
fix(db): support tlsInsecure for mongo replica sets and configure web… PlanProof CI #14: Commit afce9d4 pushed by NikhilRaikwar
1m 4s main
main
1m 4s
fix(tests): raise StopAsyncIteration from None for ruff B904 PlanProof CI #13: Commit 55b0c3d pushed by NikhilRaikwar
2m 51s main
main
2m 51s
fix(verification): exact-path locator safety, evidence reuse, manifes… PlanProof CI #12: Commit c4c427e pushed by NikhilRaikwar
1m 14s main
main
1m 14s
fix(web): prevent stale CDN edge caching on HTML pages PlanProof CI #11: Commit d7b5f1f pushed by NikhilRaikwar
1m 17s main
main
1m 17s
docs(ui): align landing page with evidence-grounded planning workflow PlanProof CI #10: Commit 05dee10 pushed by NikhilRaikwar
1m 13s main
main
1m 13s
fix(revision): enforce fail-closed human decision authority and snaps… PlanProof CI #9: Commit 152964b pushed by NikhilRaikwar
54s main
main
54s
fix(grounding): enforce basis fact grounding, safe absence semantics,… PlanProof CI #8: Commit a861bc0 pushed by NikhilRaikwar
1m 22s main
main
1m 22s
docs: align PlanProof with evidence-grounded planning workflow PlanProof CI #7: Commit 9b26aa7 pushed by NikhilRaikwar
1m 11s main
main
1m 11s
fix(semantics): enforce strict action-vs-fact role routing, safe abse… PlanProof CI #6: Commit fb560cf pushed by NikhilRaikwar
1m 20s main
main
1m 20s
docs: align architecture and validation claims with current runtime PlanProof CI #5: Commit 51c7c23 pushed by NikhilRaikwar
1m 17s main
main
1m 17s