Skip to content

Actions: proofable/docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 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 Docs #94: by chrisjleal
30s main
main
30s
chore: openapi index Docs #93: Commit d4d2078 pushed by chrisjleal
22s main
main
22s
Document explicit MCP verification and Vault replacement Docs #92: Pull request #4 opened by chrisjleal
30s codex/mcp-review-freeze-20261010
codex/mcp-review-freeze-20261010
30s
docs(evidence): repin the reviewer handoff to the frozen packet 9851059 Docs #91: Commit 3d688f4 pushed by chrisjleal
32s main
main
32s
docs(changelog): add the SDK 0.1.5 entry and update the current-versi… Docs #90: Commit 08cad03 pushed by chrisjleal
26s main
main
26s
docs(mcp): finalized docs description and packet index Docs #89: Commit e7650d2 pushed by chrisjleal
27s main
main
27s
docs(evidence): repin the reviewer handoff patches to the frozen packet Docs #88: Commit 04adb69 pushed by chrisjleal
29s main
main
29s
docs(evidence): freeze the authority-at-dispatch packet (run_id, sele… Docs #87: Commit 9851059 pushed by chrisjleal
1m 7s main
main
1m 7s
docs(evidence): publish the reviewer handoff for the authority-at-dis… Docs #86: Commit 51b358d pushed by chrisjleal
33s main
main
33s
docs(evidence): correct internal operator wording in the authority-at… Docs #85: Commit bbd7ee6 pushed by chrisjleal
27s main
main
27s
docs(evidence): publish the fixed authority-at-dispatch packet (e1217… Docs #84: Commit 4ceb58b pushed by chrisjleal
23s main
main
23s
chore: language cleanup Docs #83: Commit 4f1f072 pushed by chrisjleal
39s main
main
39s
docs(mcp): simplify builder onboarding Docs #82: Commit cf8d2ee pushed by chrisjleal
28s main
main
28s
chore: cleanup Docs #81: Commit 8ea3605 pushed by chrisjleal
23s main
main
23s
docs(evidence): publish the repaired authority-at-dispatch packet Docs #80: Commit 63fc73b pushed by chrisjleal
33s main
main
33s
docs(evidence): keep the public package evidence-only (no standards c… Docs #79: Commit 3a45f02 pushed by chrisjleal
30s main
main
30s
docs(evidence): cross-link the standards landscape page from the publ… Docs #78: Commit 52d9313 pushed by chrisjleal
31s main
main
31s
docs(standards): add related-standards-by-layer map (authority, appra… Docs #77: Commit 53d1021 pushed by chrisjleal
33s main
main
33s
docs(evidence): add reader appraisal, public references, stated limit… Docs #76: Commit e5261aa pushed by chrisjleal
31s main
main
31s
docs(evidence): clarify identity vs authority wording Docs #75: Commit 22dfbb2 pushed by chrisjleal
34s main
main
34s
docs(evidence): final cleanup of public package Docs #74: Commit 9cbf4d4 pushed by chrisjleal
32s main
main
32s
docs(evidence): add authority policy version + public-safe implementa… Docs #73: Commit 4e0c652 pushed by chrisjleal
1m 10s main
main
1m 10s
docs(evidence): clean professional Authority-at-Dispatch evidence pac… Docs #72: Commit cdec8ff pushed by chrisjleal
29s main
main
29s
docs(evidence): clean four-case statuses Docs #71: Commit e92b0ac pushed by chrisjleal
28s main
main
28s
docs(evidence): finalize AAIF #13 four-case export Docs #70: Commit 528c88b pushed by chrisjleal
30s main
main
30s