Skip to content

Actions: research-engineering/agentic-proofkit

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
275 workflow runs
275 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
fix: clarify authoring reference ordering (#114) ci #275: Commit ab1783e pushed by iperev
9m 10s main
main
9m 10s
Clarify authoring reference ordering ci #274: Pull request #114 opened by iperev
8m 46s fix/authoring-reference-guide
fix/authoring-reference-guide
8m 46s
fix: clarify nonclaim ordering and protect materialized evidence (#113) ci #273: Commit 10d8bd0 pushed by iperev
10m 34s main
main
10m 34s
Clarify nonclaim ordering and protect materialized evidence ci #272: Pull request #113 opened by iperev
9m 6s fix/cli-nonclaims-guide
fix/cli-nonclaims-guide
9m 6s
Make adoption input guidance executable from the CLI ci #271: Commit b4d29e4 pushed by iperev
9m 30s main
main
9m 30s
Make adoption input guidance executable from the CLI ci #270: Pull request #112 opened by iperev
10m 2s fix/cli-first-adoption
fix/cli-first-adoption
10m 2s
fix: preserve private source metadata and close codec boundaries (#111) ci #269: Commit ab83b76 pushed by iperev
8m 54s main
main
8m 54s
fix: preserve private source metadata and close codec boundaries ci #268: Pull request #111 opened by iperev
10m 12s fix/source-metadata-parity
fix/source-metadata-parity
10m 12s
fix: preserve source text and bound JSON escape expansion ci #267: Commit e5d00c2 pushed by iperev
8m 19s main
main
8m 19s
fix: preserve source text and bound JSON escape expansion ci #266: Pull request #110 opened by iperev
9m 6s fix/source-model-parity
fix/source-model-parity
9m 6s
Guide first capability-map inputs through command help (#109) ci #265: Commit 48a9ac8 pushed by iperev
9m 35s main
main
9m 35s
Guide first capability-map inputs through command help ci #264: Pull request #109 opened by iperev
9m 36s fix/adoption-input-guide
fix/adoption-input-guide
9m 36s
docs: clarify adoption and daily project workflow (#108) ci #263: Commit 61c4cc5 pushed by iperev
8m 24s main
main
8m 24s
docs: clarify adoption and daily project workflow ci #262: Pull request #108 opened by iperev
9m 39s feature/readme-project-workflow
feature/readme-project-workflow
9m 39s
feat: open the project workspace with view (#107) ci #261: Commit a97f15c pushed by iperev
9m 27s main
main
9m 27s
feat: open the project workspace with view ci #260: Pull request #107 opened by iperev
9m 23s feature/project-browser-entry
feature/project-browser-entry
9m 23s
feat: add bounded browser evidence inspection ci #259: Commit 3d6f81f pushed by iperev
9m 30s main
main
9m 30s
Add bounded browser evidence inspection ci #258: Pull request #106 opened by iperev
8m 54s feature/browser-evidence-inspection
feature/browser-evidence-inspection
8m 54s
feat: improve browser lookup and workspace navigation ci #257: Commit 5e261b2 pushed by iperev
7m 1s main
main
7m 1s
feat: improve browser lookup and workspace navigation ci #256: Pull request #105 opened by iperev
9m 25s feature/browser-workspace-navigation
feature/browser-workspace-navigation
9m 25s
feat: add managed agent integration lifecycle (#104) ci #255: Commit 8aa28db pushed by iperev
7m 7s main
main
7m 7s
feat: add managed agent integration lifecycle ci #254: Pull request #104 opened by iperev
6m 59s feature/managed-agent-lifecycle
feature/managed-agent-lifecycle
6m 59s
fix: keep descriptive transaction plans non-executable (#103) ci #253: Commit 4401e96 pushed by iperev
8m 21s main
main
8m 21s
fix: keep descriptive transaction plans non-executable ci #252: Pull request #103 opened by iperev
8m 28s fix/transaction-plan-construction
fix/transaction-plan-construction
8m 28s
feat: add portable agent bootstrap sources and freshness checks (#101) ci #251: Commit 4f5bff5 pushed by iperev
7m 1s main
main
7m 1s