Skip to content

Actions: arbipher/z3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow runs
43 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove superfluous makefile OCaml Binding CI (Ubuntu + macOS) #33: Commit cc1bb0a pushed by arbipher
April 19, 2025 20:59 18m 21s master
master
April 19, 2025 20:59 18m 21s
provide shortcut to command-line version to retrieve parameters OCaml Binding CI (Ubuntu + macOS) #32: Commit 17cac7d pushed by arbipher
April 19, 2025 20:56 18m 11s master
master
April 19, 2025 20:56 18m 11s
address build warning with overloaded virtual operators OCaml Binding CI (Ubuntu + macOS) #31: Commit 3761dd8 pushed by arbipher
April 19, 2025 20:45 22m 18s master
master
April 19, 2025 20:45 22m 18s
Bypass @rpath in building sanity check. OCaml Binding CI (Ubuntu + macOS) #30: Commit 4237ebd pushed by arbipher
April 19, 2025 18:57 14m 6s cmake-ocaml-binding
cmake-ocaml-binding
April 19, 2025 18:57 14m 6s
Fix mac linking once more. OCaml Binding CI (Ubuntu + macOS) #29: Commit ac10869 pushed by arbipher
April 19, 2025 16:26 13m 51s cmake-ocaml-binding
cmake-ocaml-binding
April 19, 2025 16:26 13m 51s
Fix mac linking once more. OCaml Binding CI (Ubuntu + macOS) #28: Commit ea9716b pushed by arbipher
April 19, 2025 16:18 8m 44s cmake-ocaml-binding
cmake-ocaml-binding
April 19, 2025 16:18 8m 44s
Fix mac linking once more. OCaml Binding CI (Ubuntu + macOS) #27: Commit affef6c pushed by arbipher
April 19, 2025 08:31 15m 35s cmake-ocaml-binding
cmake-ocaml-binding
April 19, 2025 08:31 15m 35s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #26: Commit eac9908 pushed by arbipher
April 18, 2025 23:58 7m 9s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 23:58 7m 9s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #25: Commit 738954d pushed by arbipher
April 18, 2025 23:00 7m 4s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 23:00 7m 4s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #24: Commit b599979 pushed by arbipher
April 18, 2025 22:42 7m 1s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 22:42 7m 1s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #23: Commit b31f27d pushed by arbipher
April 18, 2025 22:09 8m 28s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 22:09 8m 28s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #22: Commit a749ed2 pushed by arbipher
April 18, 2025 21:40 6m 47s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 21:40 6m 47s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #21: Commit b2d88c0 pushed by arbipher
April 18, 2025 21:01 14m 9s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 21:01 14m 9s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #20: Commit b3a702b pushed by arbipher
April 18, 2025 20:39 14m 16s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 20:39 14m 16s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #19: Commit c573028 pushed by arbipher
April 18, 2025 20:20 13m 48s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 20:20 13m 48s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #18: Commit 43715fb pushed by arbipher
April 18, 2025 19:58 14m 6s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:58 14m 6s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #17: Commit ec1fae5 pushed by arbipher
April 18, 2025 19:49 56s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:49 56s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #16: Commit 11d8fde pushed by arbipher
April 18, 2025 19:47 1m 48s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:47 1m 48s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #15: Commit 4391d0d pushed by arbipher
April 18, 2025 19:33 56s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:33 56s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #14: Commit b0a4c33 pushed by arbipher
April 18, 2025 19:31 39s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:31 39s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #13: Commit d4d9146 pushed by arbipher
April 18, 2025 19:26 43s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:26 43s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #12: Commit 2046499 pushed by arbipher
April 18, 2025 19:02 13m 56s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 19:02 13m 56s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #11: Commit 94acc70 pushed by arbipher
April 18, 2025 18:53 45s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 18:53 45s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #10: Commit 1a498ba pushed by arbipher
April 18, 2025 18:48 2m 15s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 18:48 2m 15s
Add workflow using matrix. OCaml Binding CI (Ubuntu + macOS) #9: Commit 5fb2f95 pushed by arbipher
April 18, 2025 18:45 1m 1s cmake-ocaml-binding
cmake-ocaml-binding
April 18, 2025 18:45 1m 1s