Skip to content

Actions: frankbria/codeframe

Actions

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
847 workflow runs
847 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
docs: record the symlink rule in the PROOF9 capture classifier (#1258… Deploy #847: Commit b3fdf8d pushed by frankbria
14m 22s main
main
14m 22s
fix(proof9): classify absolute capture paths against the workspace (#… Deploy #846: Commit 6ffba5f pushed by frankbria
14m 10s main
main
14m 10s
fix(cli): scope cf pr merge's PROOF9 gate to the PR's changed files (… Deploy #845: Commit 4a8fdf3 pushed by frankbria
13m 5s main
main
13m 5s
fix(cli): cf proof run exits 2 when verification was impossible (#1253) Deploy #844: Commit 5098b37 pushed by frankbria
12m 32s main
main
12m 32s
feat(proof9): merge gate follow-ups — per-PR scope, vacuous_pass, ove… Deploy #843: Commit 07bd8c6 pushed by frankbria
13m 44s main
main
13m 44s
docs: make the roadmap summary table the single status authority (#1246) Deploy #842: Commit 3ca043a pushed by frankbria
14m 21s main
main
14m 21s
build: migrate to pytest 9 and clear GHSA-6w46-j5rx-g56g (#1244) (#1245) Deploy #841: Commit 6e6577d pushed by frankbria
13m 39s main
main
13m 39s
chore(deps): bump astral-sh/setup-uv from 9.0.0 to 10.0.1 (#1235) Deploy #840: Commit fd208a3 pushed by frankbria
20m 14s main
main
20m 14s
chore(deps): bump the actions group across 1 directory with 2 updates… Deploy #839: Commit add9d69 pushed by frankbria
13m 32s main
main
13m 32s
chore(deps): bump the npm-minor-patch group in /web-ui with 11 update… Deploy #838: Commit 80a3aca pushed by frankbria
13m 43s main
main
13m 43s
chore(deps): bump gitpython from 3.1.58 to 3.1.59 (#1204) Deploy #837: Commit 023b58e pushed by frankbria
13m 8s main
main
13m 8s
ci: open or update an issue when a scheduled Unlocked Resolution run … Deploy #836: Commit 8884462 pushed by frankbria
14m 5s main
main
14m 5s
ci: open or update an issue when a scheduled Test Suite or Web UI Aud… Deploy #835: Commit 0e379f1 pushed by frankbria
11m 39s main
main
11m 39s
test(runtime): pin the clock in the engine-stats duration test (#1237… Deploy #834: Commit ed4582e pushed by frankbria
11m 43s main
main
11m 43s
fix(e2e): re-seed the review working-tree change per browser project,… Deploy #833: Commit dfbc610 pushed by frankbria
16m 27s main
main
16m 27s
docs(web-ui): name the npm that generated the lock, and what older np… Deploy #832: Commit 3c82be1 pushed by frankbria
11m 54s main
main
11m 54s
ci: skip the bot reviewers on fork PRs instead of failing the credent… Deploy #831: Commit bb4baf4 pushed by frankbria
15m 6s main
main
15m 6s
fix(config): a zero-length read of a populated AGENTS.md is mid-write… Deploy #830: Commit c8e8c62 pushed by frankbria
12m 57s main
main
12m 57s
ci: auto-merge patch-level Dependabot security PRs for web-ui once gr… Deploy #829: Commit f4eea8a pushed by frankbria
14m 41s main
main
14m 41s
fix(cli): escape every Typer str argument a Rich render echoes back (… Deploy #828: Commit 59c7ee3 pushed by frankbria
12m 18s main
main
12m 18s
fix(discovery): close the single-active-slot follow-ups from #1042 (#… Deploy #827: Commit cd3e288 pushed by frankbria
11m 32s main
main
11m 32s
test(ci): widen the assertion-quality guard to all of tests/ (#1200) … Deploy #826: Commit f66ca5b pushed by frankbria
13m 35s main
main
13m 35s
refactor(core): collapse cancel_batch into stop_batch(force=False) (#… Deploy #825: Commit 86accc3 pushed by frankbria
16m 9s main
main
16m 9s
refactor(web-ui): close the #971 de-duplication leftovers (#1195) (#1… Deploy #824: Commit 7c8a858 pushed by frankbria
13m 11s main
main
13m 11s
fix(web-ui): name npm 11.6.x as the lockfile corruptor, not the lockf… Deploy #823: Commit 7fbcc1f pushed by frankbria
13m 52s main
main
13m 52s