Skip to content

Actions: escapeboy/boruna

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
249 workflow runs
249 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
Merge pull request #82 from escapeboy/feat/roadmap-wave2b CI #250: Commit 1a97ce3 pushed by escapeboy
5m 15s master
master
5m 15s
release: v3.2.0 — Rekor transparency-log anchoring + verifiable redaction CI #249: Pull request #82 opened by escapeboy
5m 1s feat/roadmap-wave2b
feat/roadmap-wave2b
5m 1s
Merge pull request #81 from escapeboy/feat/roadmap-wave1 CI #248: Commit 30865d7 pushed by escapeboy
4m 53s master
master
4m 53s
release: v3.1.0 — evidence interop + compliance/OTel export + output guards + agent tooling CI #247: Pull request #81 opened by escapeboy
5m 21s feat/roadmap-wave1
feat/roadmap-wave1
5m 21s
Merge pull request #80 from escapeboy/feat/agentlang-borrow-ideas CI #246: Commit 0567505 pushed by escapeboy
4m 1s master
master
4m 1s
feat: borrow agent-language ideas — contracts-in-evidence, boruna_symbols, agent corpus, quickfix gate CI #245: Pull request #80 opened by escapeboy
4m 37s feat/agentlang-borrow-ideas
feat/agentlang-borrow-ideas
4m 37s
Merge pull request #79 from escapeboy/release/v3.0.0 CI #244: Commit 240c9b9 pushed by escapeboy
6m 4s master
master
6m 4s
chore(release): v3.0.0 — HTTP/distributed layer removed CI #243: Pull request #79 opened by escapeboy
5m 8s release/v3.0.0
release/v3.0.0
5m 8s
Merge pull request #78 from escapeboy/remove-http-layer CI #242: Commit f892d07 pushed by escapeboy
4m 40s master
master
4m 40s
refactor: remove the HTTP serving layer — local engine + CLI only CI #241: Pull request #78 synchronize by escapeboy
4m 31s remove-http-layer
remove-http-layer
4m 31s
refactor: remove the HTTP serving layer — local engine + CLI only CI #240: Pull request #78 opened by escapeboy
5m 7s remove-http-layer
remove-http-layer
5m 7s
Merge pull request #77 from escapeboy/feat/mgmt-console CI #239: Commit ed0d99d pushed by escapeboy
5m 39s master
master
5m 39s
feat(coord): browser approval console (token-gated, read+decide) CI #238: Pull request #77 opened by escapeboy
6m 1s feat/mgmt-console
feat/mgmt-console
6m 1s
Merge pull request #76 from escapeboy/ui-improvements CI #236: Commit 4b53294 pushed by escapeboy
5m 45s master
master
5m 45s
UI: make Evidence Inspector & Workflow Dashboard legible to non-experts CI #235: Pull request #76 opened by escapeboy
5m 17s ui-improvements
ui-improvements
5m 17s
docs(readme): update to v2.0.0 — version badge, LTS banner, spec coun… CI #234: Commit aaa0840 pushed by escapeboy
5m 32s master
master
5m 32s
Merge pull request #75 from escapeboy/sprint/2.0-remediation CI #233: Commit 49b5c5e pushed by escapeboy
6m 4s master
master
6m 4s
v2.0.0 — security hardening + language completeness CI #232: Pull request #75 synchronize by escapeboy
5m 44s sprint/2.0-remediation
sprint/2.0-remediation
5m 44s
v2.0.0 — security hardening + language completeness CI #231: Pull request #75 opened by escapeboy
3m 8s sprint/2.0-remediation
sprint/2.0-remediation
3m 8s
feat(capability-inference): infer minimal capabilities, flag over-dec… CI #230: Commit 459a455 pushed by escapeboy
4m 26s master
master
4m 26s
feat(capability-inference): infer minimal capabilities + flag over-declaration (v1.9.0, Theme D-lite) CI #229: Pull request #74 opened by escapeboy
15s feat/capability-inference
feat/capability-inference
15s
feat(llm-effect): LLM effect propagates up the call graph, recorded i… CI #228: Commit 94296d6 pushed by escapeboy
4m 28s master
master
4m 28s
feat(llm-effect): LLM effect propagates up call graph, recorded in evidence (v1.8.0, Theme C-lite) CI #227: Pull request #73 opened by escapeboy
3m 50s feat/llm-typed-effect
feat/llm-typed-effect
3m 50s
feat(contracts): runtime-checked requires preconditions with countere… CI #226: Commit e47024b pushed by escapeboy
4m 18s master
master
4m 18s
feat(contracts): runtime-checked requires preconditions + counterexample evidence (v1.7.0, Theme A-lite) CI #225: Pull request #72 opened by escapeboy
4m 6s feat/contracts-runtime
feat/contracts-runtime
4m 6s