Skip to content

Actions: Z3Prover/z3

Actions

OCaml Binding CI (Ubuntu + macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
233 workflow runs
233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Print statistics on timeout OCaml Binding CI (Ubuntu + macOS) #309: Commit e77e3a3 pushed by levnach
June 29, 2025 18:41 19m 31s codex/find-and-fix-a-bug
codex/find-and-fix-a-bug
June 29, 2025 18:41 19m 31s
euf_completion with AC: add first cut of AC matching for top-level, a… OCaml Binding CI (Ubuntu + macOS) #308: Commit b2f0170 pushed by levnach
June 29, 2025 18:41 20m 3s codex/find-and-fix-a-bug
codex/find-and-fix-a-bug
June 29, 2025 18:41 20m 3s
Improve Extract function documentation to clarify bit-vector vs seque… OCaml Binding CI (Ubuntu + macOS) #307: Commit 2de40ff pushed by NikolajBjorner
June 27, 2025 17:21 19m 35s master
master
June 27, 2025 17:21 19m 35s
remove the parameter for throttling nla lemmas OCaml Binding CI (Ubuntu + macOS) #301: Commit d717dae pushed by Copilot AI
June 27, 2025 16:58 Action required copilot/fix-7699
copilot/fix-7699
June 27, 2025 16:58 Action required
Fix source installation to create dist-info directory for package discovery OCaml Binding CI (Ubuntu + macOS) #300: Pull request #7695 synchronize by Copilot AI
June 27, 2025 02:36 19m 34s copilot/fix-7692
copilot/fix-7692
June 27, 2025 02:36 19m 34s
Remove hardcoded version from pyproject.toml, use dynamic version fro… OCaml Binding CI (Ubuntu + macOS) #299: Commit 4c468cc pushed by Copilot AI
June 27, 2025 02:36 19m 53s copilot/fix-7692
copilot/fix-7692
June 27, 2025 02:36 19m 53s
Fix source installation to create dist-info directory for package discovery OCaml Binding CI (Ubuntu + macOS) #298: Pull request #7695 synchronize by Copilot AI
June 26, 2025 23:42 19m 11s copilot/fix-7692
copilot/fix-7692
June 26, 2025 23:42 19m 11s
Fix ModuleNotFoundError by removing dynamic version loading from pypr… OCaml Binding CI (Ubuntu + macOS) #297: Commit d789a17 pushed by Copilot AI
June 26, 2025 23:42 19m 21s copilot/fix-7692
copilot/fix-7692
June 26, 2025 23:42 19m 21s
remove the parameter for throttling nla lemmas OCaml Binding CI (Ubuntu + macOS) #296: Commit d717dae pushed by levnach
June 26, 2025 23:33 20m 46s master
master
June 26, 2025 23:33 20m 46s
Throttle lemmas in nla_solver OCaml Binding CI (Ubuntu + macOS) #295: Pull request #7696 opened by levnach
June 26, 2025 21:42 20m 12s th
th
June 26, 2025 21:42 20m 12s
remove the parameter for throttling nla lemmas OCaml Binding CI (Ubuntu + macOS) #294: Commit 69ae716 pushed by levnach
June 26, 2025 21:38 19m 32s th
th
June 26, 2025 21:38 19m 32s
add stats for throttling OCaml Binding CI (Ubuntu + macOS) #293: Commit 10d0291 pushed by levnach
June 26, 2025 20:55 19m 59s th
th
June 26, 2025 20:55 19m 59s
fix a warning OCaml Binding CI (Ubuntu + macOS) #292: Commit 343434b pushed by levnach
June 26, 2025 20:32 18m 57s th
th
June 26, 2025 20:32 18m 57s
add throttling to generate_plane1/2 OCaml Binding CI (Ubuntu + macOS) #291: Commit c2d29e1 pushed by levnach
June 26, 2025 20:26 19m 20s th
th
June 26, 2025 20:26 19m 20s
remove debug_location parameter OCaml Binding CI (Ubuntu + macOS) #290: Commit 34f078b pushed by levnach
June 26, 2025 16:29 19m 44s th
th
June 26, 2025 16:29 19m 44s
throttle lemmas in nla_solver untested OCaml Binding CI (Ubuntu + macOS) #289: Commit 4f1d8b4 pushed by levnach
June 26, 2025 00:27 20m 20s th
th
June 26, 2025 00:27 20m 20s
Fix source installation to create dist-info directory for package discovery OCaml Binding CI (Ubuntu + macOS) #288: Pull request #7695 synchronize by Copilot AI
June 25, 2025 23:43 19m 23s copilot/fix-7692
copilot/fix-7692
June 25, 2025 23:43 19m 23s
Fix build errors in setup.py and pyproject.toml OCaml Binding CI (Ubuntu + macOS) #287: Commit f7e89fc pushed by Copilot AI
June 25, 2025 23:43 18m 54s copilot/fix-7692
copilot/fix-7692
June 25, 2025 23:43 18m 54s
update minor version number OCaml Binding CI (Ubuntu + macOS) #278: Commit 2f2289e pushed by Copilot AI
June 25, 2025 20:28 Action required copilot/fix-7692
copilot/fix-7692
June 25, 2025 20:28 Action required
update minor version number OCaml Binding CI (Ubuntu + macOS) #277: Commit 2f2289e pushed by NikolajBjorner
June 25, 2025 16:16 19m 32s master
master
June 25, 2025 16:16 19m 32s
dump smt lemmas from nla_core OCaml Binding CI (Ubuntu + macOS) #276: Commit b0f7604 pushed by levnach
June 24, 2025 20:02 19m 35s tm
tm
June 24, 2025 20:02 19m 35s
remove nuget signing steps OCaml Binding CI (Ubuntu + macOS) #275: Commit bd3e722 pushed by NikolajBjorner
June 24, 2025 14:19 20m 52s master
master
June 24, 2025 14:19 20m 52s
Fix: typo in z3 python api (#7693) OCaml Binding CI (Ubuntu + macOS) #274: Commit 3916c45 pushed by NikolajBjorner
June 24, 2025 14:13 19m 11s master
master
June 24, 2025 14:13 19m 11s
add -> as another array sort constructor OCaml Binding CI (Ubuntu + macOS) #272: Commit 9804387 pushed by NikolajBjorner
June 23, 2025 04:35 19m 27s master
master
June 23, 2025 04:35 19m 27s
missing ; OCaml Binding CI (Ubuntu + macOS) #271: Commit 5ad1647 pushed by NikolajBjorner
June 23, 2025 04:32 19m 52s master
master
June 23, 2025 04:32 19m 52s