Skip to content

Actions: VeraTools/Vera

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
390 workflow runs
390 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
Agent activation: rewrite AGENTS.md snippet/skill and fix CLI traps agents hit CI #198: Pull request #280 synchronize by devin-ai-integration Bot
5m 15s devin/1788955616-agent-activation-cli-fixes
devin/1788955616-agent-activation-cli-fixes
5m 15s
Agent activation: rewrite AGENTS.md snippet/skill and fix CLI traps agents hit CI #197: Pull request #280 opened by devin-ai-integration Bot
6m 5s devin/1788955616-agent-activation-cli-fixes
devin/1788955616-agent-activation-cli-fixes
6m 5s
docs: qualify agent-benchmark claims and fix dead pointers CI #196: Pull request #279 opened by devin-ai-integration Bot
6m 19s devin/1788955594-bench-claims-docs
devin/1788955594-bench-claims-docs
6m 19s
ci: run CI on stock GitHub-hosted runners, reserve Blacksmith for releases CI #195: Pull request #278 opened by lemon07r
5m 17s ci/github-hosted-runners
ci/github-hosted-runners
5m 17s
fix(core): harden legacy ~/.vera detection (hidden files, unreadable dir) CI #194: Pull request #277 opened by devin-ai-integration Bot
2m 33s devin/1788929347-legacy-home-edge-cases
devin/1788929347-legacy-home-edge-cases
2m 33s
Launch prep: version 1.4.0 in-repo, path scrub, public docs pass, upd… CI #193: Commit e821ebc pushed by lemon07r
2m 20s master
master
2m 20s
ci(release): build Linux targets with cargo-zigbuild (glibc 2.28, real musl C++ runtime) CI #192: Pull request #276 opened by devin-ai-integration Bot
2m 33s devin/1788927494-release-portability
devin/1788927494-release-portability
2m 33s
Launch prep: version 1.4.0 in-repo, path scrub, public docs pass, update-check data-dir fix CI #191: Pull request #275 synchronize by devin-ai-integration Bot
2m 33s devin/1788917749-launch-prep
devin/1788917749-launch-prep
2m 33s
Launch prep: version 1.4.0 in-repo, path scrub, public docs pass, update-check data-dir fix CI #190: Pull request #275 opened by devin-ai-integration Bot
2m 19s devin/1788917749-launch-prep
devin/1788917749-launch-prep
2m 19s
test(setup): execute the D3D12 probe on real Windows and keep it running in CI (#248) CI #189: Pull request #274 opened by devin-ai-integration Bot
3m 25s devin/1788918975.37216-windows-d3d12-probe-evidence
devin/1788918975.37216-windows-d3d12-probe-evidence
3m 25s
fix(cli): report unproven vera launchers instead of ignoring them (#249) CI #188: Commit ac1a04b pushed by lemon07r
2m 38s master
master
2m 38s
docs(readme): drop redundant latency-provenance caveat line CI #187: Commit cf17240 pushed by lemon07r
2m 27s master
master
2m 27s
docs: post-campaign cleanup (agent-bench v1.4.0 note, gitignore guard… CI #186: Commit d12c39d pushed by lemon07r
2m 17s master
master
2m 17s
fix(eval): match CPU vendor case-insensitively in host_cpu provenance… CI #185: Commit ac5de80 pushed by lemon07r
2m 18s master
master
2m 18s
bench(agent): four-arm head-to-head with product AGENTS.md parity (#272) CI #184: Commit 6e91999 pushed by lemon07r
2m 25s master
master
2m 25s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #183: Pull request #272 synchronize by lemon07r
2m 20s bench/agent-four-arm
bench/agent-four-arm
2m 20s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #182: Pull request #272 synchronize by lemon07r
2m 26s bench/agent-four-arm
bench/agent-four-arm
2m 26s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #181: Pull request #272 synchronize by lemon07r
2m 17s bench/agent-four-arm
bench/agent-four-arm
2m 17s
fix(eval): match CPU vendor case-insensitively in host_cpu provenance test CI #180: Pull request #273 opened by devin-ai-integration Bot
2m 19s devin/1788633283-fix-host-cpu-test
devin/1788633283-fix-host-cpu-test
2m 19s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #179: Pull request #272 synchronize by lemon07r
2m 16s bench/agent-four-arm
bench/agent-four-arm
2m 16s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #178: Pull request #272 synchronize by lemon07r
2m 16s bench/agent-four-arm
bench/agent-four-arm
2m 16s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #177: Pull request #272 synchronize by lemon07r
2m 16s bench/agent-four-arm
bench/agent-four-arm
2m 16s
bench(agent): four-arm head-to-head with product AGENTS.md parity CI #176: Pull request #272 opened by lemon07r
2m 19s bench/agent-four-arm
bench/agent-four-arm
2m 19s
docs: post-campaign refresh (v1.4.0 benchmarks, honest Semble framing… CI #175: Commit 630cf99 pushed by lemon07r
2m 26s master
master
2m 26s
docs: post-campaign refresh (v1.4.0 benchmarks, honest Semble framing, staleness fixes) CI #174: Pull request #271 synchronize by lemon07r
2m 21s docs/post-campaign-refresh
docs/post-campaign-refresh
2m 21s