Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14,320 workflow runs
14,320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Agentic Maintenance Agentic Maintenance #15: Scheduled
26s master
master
26s
Integrate Serena MCP server for C++ semantic analysis in SpecBot OCaml Binding CI (Ubuntu + macOS) #3253: Pull request #8410 synchronize by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot CI #506: Pull request #8410 synchronize by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot WebAssembly Build #5693: Pull request #8410 synchronize by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Clean up Serena integration - remove unnecessary env variable (auto-d… CI #505: Commit 4b1dd07 pushed by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Clean up Serena integration - remove unnecessary env variable (auto-d… OCaml Binding CI (Ubuntu + macOS) #3252: Commit 4b1dd07 pushed by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot OCaml Binding CI (Ubuntu + macOS) #3251: Pull request #8410 synchronize by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot CI #504: Pull request #8410 synchronize by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot WebAssembly Build #5692: Pull request #8410 synchronize by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Add Serena MCP server integration to SpecBot workflow for C++ analysis CI #503: Commit 8a6ce70 pushed by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Add Serena MCP server integration to SpecBot workflow for C++ analysis OCaml Binding CI (Ubuntu + macOS) #3250: Commit 8a6ce70 pushed by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot WebAssembly Build #5691: Pull request #8410 opened by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot CI #502: Pull request #8410 opened by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Integrate Serena MCP server for C++ semantic analysis in SpecBot OCaml Binding CI (Ubuntu + macOS) #3249: Pull request #8410 opened by Copilot AI
Action required copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
Action required
Running Copilot coding agent Copilot coding agent #326: by Copilot AI
6m 49s copilot/update-specbot-workflow-serena
copilot/update-specbot-workflow-serena
6m 49s
Code Conventions Analyzer Code Conventions Analyzer #44: Scheduled
8m 35s master
master
8m 35s
Build Warning Fixer Build Warning Fixer #24: Scheduled
5m 1s master
master
5m 1s
Refactor dyn_ack.cpp to use structured bindings for app_pair/app_triple CI #501: Pull request #8359 synchronize by Copilot AI
Action required copilot/refactor-dyn-ack-to-c17
copilot/refactor-dyn-ack-to-c17
Action required
Refactor dyn_ack.cpp to use structured bindings for app_pair/app_triple WebAssembly Build #5690: Pull request #8359 synchronize by Copilot AI
Action required copilot/refactor-dyn-ack-to-c17
copilot/refactor-dyn-ack-to-c17
Action required
Refactor dyn_ack.cpp to use structured bindings for app_pair/app_triple OCaml Binding CI (Ubuntu + macOS) #3248: Pull request #8359 synchronize by Copilot AI
Action required copilot/refactor-dyn-ack-to-c17
copilot/refactor-dyn-ack-to-c17
Action required
Rename structured binding variables from app1/app2/app3 to a1/a2/a3 CI #500: Commit 8eb8a91 pushed by Copilot AI
Action required copilot/refactor-dyn-ack-to-c17
copilot/refactor-dyn-ack-to-c17
Action required
Rename structured binding variables from app1/app2/app3 to a1/a2/a3 OCaml Binding CI (Ubuntu + macOS) #3247: Commit 8eb8a91 pushed by Copilot AI
Action required copilot/refactor-dyn-ack-to-c17
copilot/refactor-dyn-ack-to-c17
Action required
Refactor theory_array_base to use structured bindings for enode pairs CI #499: Pull request #8405 synchronize by Copilot AI
Action required copilot/refactor-enode-pair-access
copilot/refactor-enode-pair-access
Action required
Refactor theory_array_base to use structured bindings for enode pairs WebAssembly Build #5689: Pull request #8405 synchronize by Copilot AI
Action required copilot/refactor-enode-pair-access
copilot/refactor-enode-pair-access
Action required
Refactor theory_array_base to use structured bindings for enode pairs OCaml Binding CI (Ubuntu + macOS) #3246: Pull request #8405 synchronize by Copilot AI
Action required copilot/refactor-enode-pair-access
copilot/refactor-enode-pair-access
Action required