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
19m 31s codex/find-and-fix-a-bug
codex/find-and-fix-a-bug
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
20m 3s codex/find-and-fix-a-bug
codex/find-and-fix-a-bug
20m 3s
Improve Extract function documentation to clarify bit-vector vs seque… OCaml Binding CI (Ubuntu + macOS) #307: Commit 2de40ff pushed by NikolajBjorner
19m 35s master
master
19m 35s
remove the parameter for throttling nla lemmas OCaml Binding CI (Ubuntu + macOS) #301: Commit d717dae pushed by Copilot AI
Action required copilot/fix-7699
copilot/fix-7699
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
19m 34s copilot/fix-7692
copilot/fix-7692
19m 34s
Remove hardcoded version from pyproject.toml, use dynamic version fro… OCaml Binding CI (Ubuntu + macOS) #299: Commit 4c468cc pushed by Copilot AI
19m 53s copilot/fix-7692
copilot/fix-7692
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
19m 11s copilot/fix-7692
copilot/fix-7692
19m 11s
Fix ModuleNotFoundError by removing dynamic version loading from pypr… OCaml Binding CI (Ubuntu + macOS) #297: Commit d789a17 pushed by Copilot AI
19m 21s copilot/fix-7692
copilot/fix-7692
19m 21s
remove the parameter for throttling nla lemmas OCaml Binding CI (Ubuntu + macOS) #296: Commit d717dae pushed by levnach
20m 46s master
master
20m 46s
Throttle lemmas in nla_solver OCaml Binding CI (Ubuntu + macOS) #295: Pull request #7696 opened by levnach
20m 12s th
th
20m 12s
remove the parameter for throttling nla lemmas OCaml Binding CI (Ubuntu + macOS) #294: Commit 69ae716 pushed by levnach
19m 32s th
th
19m 32s
add stats for throttling OCaml Binding CI (Ubuntu + macOS) #293: Commit 10d0291 pushed by levnach
19m 59s th
th
19m 59s
fix a warning OCaml Binding CI (Ubuntu + macOS) #292: Commit 343434b pushed by levnach
18m 57s th
th
18m 57s
add throttling to generate_plane1/2 OCaml Binding CI (Ubuntu + macOS) #291: Commit c2d29e1 pushed by levnach
19m 20s th
th
19m 20s
remove debug_location parameter OCaml Binding CI (Ubuntu + macOS) #290: Commit 34f078b pushed by levnach
19m 44s th
th
19m 44s
throttle lemmas in nla_solver untested OCaml Binding CI (Ubuntu + macOS) #289: Commit 4f1d8b4 pushed by levnach
20m 20s th
th
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
19m 23s copilot/fix-7692
copilot/fix-7692
19m 23s
Fix build errors in setup.py and pyproject.toml OCaml Binding CI (Ubuntu + macOS) #287: Commit f7e89fc pushed by Copilot AI
18m 54s copilot/fix-7692
copilot/fix-7692
18m 54s
update minor version number OCaml Binding CI (Ubuntu + macOS) #278: Commit 2f2289e pushed by Copilot AI
Action required copilot/fix-7692
copilot/fix-7692
Action required
update minor version number OCaml Binding CI (Ubuntu + macOS) #277: Commit 2f2289e pushed by NikolajBjorner
19m 32s master
master
19m 32s
dump smt lemmas from nla_core OCaml Binding CI (Ubuntu + macOS) #276: Commit b0f7604 pushed by levnach
19m 35s tm
tm
19m 35s
remove nuget signing steps OCaml Binding CI (Ubuntu + macOS) #275: Commit bd3e722 pushed by NikolajBjorner
20m 52s master
master
20m 52s
Fix: typo in z3 python api (#7693) OCaml Binding CI (Ubuntu + macOS) #274: Commit 3916c45 pushed by NikolajBjorner
19m 11s master
master
19m 11s
add -> as another array sort constructor OCaml Binding CI (Ubuntu + macOS) #272: Commit 9804387 pushed by NikolajBjorner
19m 27s master
master
19m 27s
missing ; OCaml Binding CI (Ubuntu + macOS) #271: Commit 5ad1647 pushed by NikolajBjorner
19m 52s master
master
19m 52s