Skip to content

Actions: BasisResearch/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 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
Merge pull request #5 from BasisResearch/codex/direct-verus-mcp-gate basis-build #9: Commit 034d4d6 pushed by kiranandcode
8m 33s main
main
8m 33s
Merge pull request #5 from BasisResearch/codex/direct-verus-mcp-gate rolling-release #12: Commit 034d4d6 pushed by kiranandcode
8m 22s main
main
8m 22s
Merge pull request #5 from BasisResearch/codex/direct-verus-mcp-gate pages #5: Commit 034d4d6 pushed by kiranandcode
10s main
main
10s
Merge pull request #4 from BasisResearch/ci/drop-temp-publish-branch rolling-release #11: Commit 8295c3b pushed by yiyunliu
4m 14s main
main
4m 14s
Merge pull request #4 from BasisResearch/ci/drop-temp-publish-branch basis-build #8: Commit 8295c3b pushed by yiyunliu
4m 11s main
main
4m 11s
Merge pull request #4 from BasisResearch/ci/drop-temp-publish-branch pages #4: Commit 8295c3b pushed by yiyunliu
3s main
main
3s
Require MCP authorization in rust_verify basis-build #7: Pull request #5 synchronize by kiranandcode
14m 14s codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
14m 14s
Require MCP authorization in rust_verify rolling-release #10: Pull request #5 synchronize by kiranandcode
7m 36s codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
7m 36s
Require MCP authorization in rust_verify ci #8: Pull request #5 synchronize by kiranandcode
41m 20s codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
41m 20s
Require MCP authorization in rust_verify rolling-release #9: Pull request #5 opened by kiranandcode
15m 36s codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
15m 36s
Require MCP authorization in rust_verify basis-build #6: Pull request #5 opened by kiranandcode
10m 8s codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
10m 8s
Require MCP authorization in rust_verify ci #7: Pull request #5 opened by kiranandcode
12m 39s codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
12m 39s
nightly-verita nightly-verita #2: Scheduled
9s main
main
9s
coverage coverage #2: Scheduled
8s main
main
8s
CI: drop the temporary publish branch from basis-build basis-build #5: Pull request #4 opened by kiranandcode
21m 31s ci/drop-temp-publish-branch
ci/drop-temp-publish-branch
21m 31s
CI: drop the temporary publish branch from basis-build rolling-release #8: Pull request #4 opened by kiranandcode
21m 49s ci/drop-temp-publish-branch
ci/drop-temp-publish-branch
21m 49s
CI: drop the temporary publish branch from basis-build ci #6: Pull request #4 opened by kiranandcode
29m 35s ci/drop-temp-publish-branch
ci/drop-temp-publish-branch
29m 35s
Merge pull request #3 from BasisResearch/ci/basis-build-publish basis-build #4: Commit d3e37cb pushed by kiranandcode
13m 58s main
main
13m 58s
Merge pull request #3 from BasisResearch/ci/basis-build-publish rolling-release #7: Commit d3e37cb pushed by kiranandcode
7m 22s main
main
7m 22s
Merge pull request #3 from BasisResearch/ci/basis-build-publish pages #3: Commit d3e37cb pushed by kiranandcode
1s main
main
1s
CI: publish per-commit Verus releases, matching the cvc5 and z3 forks basis-build #3: Pull request #3 synchronize by kiranandcode
6m 35s ci/basis-build-publish
ci/basis-build-publish
6m 35s
CI: publish per-commit Verus releases, matching the cvc5 and z3 forks rolling-release #6: Pull request #3 synchronize by kiranandcode
6m 52s ci/basis-build-publish
ci/basis-build-publish
6m 52s
CI: publish per-commit Verus releases, matching the cvc5 and z3 forks ci #5: Pull request #3 synchronize by kiranandcode
35m 15s ci/basis-build-publish
ci/basis-build-publish
35m 15s
Publish from this branch while the PR waits on review basis-build #2: Commit f1ec9a6 pushed by kiranandcode
9m 53s ci/basis-build-publish
ci/basis-build-publish
9m 53s
CI: publish per-commit Verus releases, matching the cvc5 and z3 forks basis-build #1: Pull request #3 opened by kiranandcode
11m 0s ci/basis-build-publish
ci/basis-build-publish
11m 0s