Skip to content

Actions: Z3Prover/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,611 workflow runs
13,611 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Running Copilot coding agent Copilot coding agent #223: by Copilot AI
5m 1s copilot/fix-nightly-yml-error
copilot/fix-nightly-yml-error
5m 1s
Add RCF (Real Closed Field) API to TypeScript bindings OCaml Binding CI (Ubuntu + macOS) #2678: Pull request #8225 synchronize by Copilot AI
19m 15s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
19m 15s
Add RCF (Real Closed Field) API to TypeScript bindings WebAssembly Build #5325: Pull request #8225 synchronize by Copilot AI
17m 43s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
17m 43s
Fix RCF test expectations for transcendental predicates OCaml Binding CI (Ubuntu + macOS) #2677: Commit c362b73 pushed by Copilot AI
20m 7s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
20m 7s
Addressing comment on PR #8225 Copilot coding agent #222: by Copilot AI
5m 39s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
5m 39s
Migrate iterator-based for loops to range-based for loops OCaml Binding CI (Ubuntu + macOS) #2676: Pull request #8231 synchronize by Copilot AI
19m 30s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
19m 30s
Migrate iterator-based for loops to range-based for loops WebAssembly Build #5324: Pull request #8231 synchronize by Copilot AI
18m 4s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
18m 4s
Revert changes to z3++.h as requested OCaml Binding CI (Ubuntu + macOS) #2675: Commit 4c03aa5 pushed by Copilot AI
18m 36s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
18m 36s
Addressing comment on PR #8225 Copilot coding agent #221: by Copilot AI
4m 17s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
4m 17s
Addressing comment on PR #8231 Copilot coding agent #220: by Copilot AI
17m 57s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
17m 57s
Running Copilot coding agent Copilot coding agent #219: by Copilot AI
42s copilot/revert-range-based-loops
copilot/revert-range-based-loops
42s
Add sequence higher-order functions to Java API (#8226) OCaml Binding CI (Ubuntu + macOS) #2673: Commit ecea5e2 pushed by NikolajBjorner
18m 58s master
master
18m 58s
Add sequence higher-order functions to Java API (#8226) WebAssembly Build #5322: Commit ecea5e2 pushed by NikolajBjorner
17m 42s master
master
17m 42s
Add sequence higher-order functions to Java API (#8226) Windows #1441: Commit ecea5e2 pushed by NikolajBjorner
57m 45s master
master
57m 45s
Add benchmark export to C# and TypeScript APIs (#8228) WebAssembly Build #5321: Commit 1be52d9 pushed by NikolajBjorner
17m 42s master
master
17m 42s
Add benchmark export to C# and TypeScript APIs (#8228) OCaml Binding CI (Ubuntu + macOS) #2672: Commit 1be52d9 pushed by NikolajBjorner
19m 23s master
master
19m 23s
Add benchmark export to C# and TypeScript APIs (#8228) Windows #1440: Commit 1be52d9 pushed by NikolajBjorner
1h 2m 19s master
master
1h 2m 19s
Add advanced sequence operations to C# API (#8227) OCaml Binding CI (Ubuntu + macOS) #2671: Commit 11851c2 pushed by NikolajBjorner
19m 12s master
master
19m 12s
Add advanced sequence operations to C# API (#8227) Windows #1439: Commit 11851c2 pushed by NikolajBjorner
1h 2m 24s master
master
1h 2m 24s
Add advanced sequence operations to C# API (#8227) WebAssembly Build #5320: Commit 11851c2 pushed by NikolajBjorner
17m 53s master
master
17m 53s
Migrate iterator-based for loops to range-based for loops OCaml Binding CI (Ubuntu + macOS) #2670: Pull request #8231 synchronize by Copilot AI
19m 4s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
19m 4s
Migrate iterator-based for loops to range-based for loops WebAssembly Build #5319: Pull request #8231 synchronize by Copilot AI
17m 57s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
17m 57s
Fix compilation error in aig_exporter.cpp - use correct iterator API OCaml Binding CI (Ubuntu + macOS) #2669: Commit bc2441c pushed by Copilot AI
19m 55s copilot/migrate-files-to-range-for-loops
copilot/migrate-files-to-range-for-loops
19m 55s
Add RCF (Real Closed Field) API to TypeScript bindings OCaml Binding CI (Ubuntu + macOS) #2668: Pull request #8225 synchronize by Copilot AI
18m 56s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
18m 56s
Add RCF (Real Closed Field) API to TypeScript bindings WebAssembly Build #5318: Pull request #8225 synchronize by Copilot AI
17m 52s copilot/add-rcf-api-in-typescript
copilot/add-rcf-api-in-typescript
17m 52s