Skip to content

Actions: BasisResearch/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 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
Require MCP authorization in rust_verify basis-build #7: Pull request #5 synchronize by kiranandcode
In progress codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
In progress
Require MCP authorization in rust_verify rolling-release #10: Pull request #5 synchronize by kiranandcode
In progress codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
In progress
Require MCP authorization in rust_verify ci #8: Pull request #5 synchronize by kiranandcode
In progress codex/direct-verus-mcp-gate
codex/direct-verus-mcp-gate
In progress
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
CI: publish per-commit Verus releases, matching the cvc5 and z3 forks rolling-release #5: Pull request #3 opened by kiranandcode
12m 47s ci/basis-build-publish
ci/basis-build-publish
12m 47s
CI: publish per-commit Verus releases, matching the cvc5 and z3 forks ci #4: Pull request #3 opened by kiranandcode
17m 56s ci/basis-build-publish
ci/basis-build-publish
17m 56s
nightly-verita nightly-verita #1: Scheduled
9s main
main
9s
coverage coverage #1: Scheduled
2s main
main
2s
Merge pull request #2 from BasisResearch/block-non-mcp rolling-release #4: Commit df08d4c pushed by yiyunliu
6m 53s main
main
6m 53s
Merge pull request #2 from BasisResearch/block-non-mcp pages #2: Commit df08d4c pushed by yiyunliu
1s main
main
1s