Skip to content

Actions: bitwuzla/ocaml-bitwuzla

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix macOS Homebrew library paths CI #98: Commit f40b7c0 pushed by recoules
September 1, 2023 10:02 8m 8s 0.2.0
0.2.0
September 1, 2023 10:02 8m 8s
fix macOS Homebrew library paths CI #97: Commit f40b7c0 pushed by recoules
September 1, 2023 09:59 8m 24s master
master
September 1, 2023 09:59 8m 24s
fix macOS Homebrew include paths CI #96: Commit 464fa4b pushed by recoules
September 1, 2023 09:39 9m 11s 0.2.0
0.2.0
September 1, 2023 09:39 9m 11s
fix macOS Homebrew include paths CI #95: Commit 464fa4b pushed by recoules
September 1, 2023 09:36 9m 0s master
master
September 1, 2023 09:36 9m 0s
update README CI #94: Commit 0530196 pushed by recoules
September 1, 2023 09:18 8m 42s master
master
September 1, 2023 09:18 8m 42s
fix errors from Opam-CI CI #93: Commit 9187508 pushed by recoules
September 1, 2023 09:16 9m 46s 0.2.0
0.2.0
September 1, 2023 09:16 9m 46s
fix errors from Opam-CI CI #92: Commit 9187508 pushed by recoules
September 1, 2023 09:13 10m 4s master
master
September 1, 2023 09:13 10m 4s
prepare for release 0.2.0 CI #91: Commit 749d16c pushed by recoules
September 1, 2023 08:14 9m 24s 0.2.0
0.2.0
September 1, 2023 08:14 9m 24s
prepare for release 0.2.0 CI #90: Commit 749d16c pushed by recoules
September 1, 2023 08:12 8m 58s master
master
September 1, 2023 08:12 8m 58s
fix c++17 flags CI #89: Commit 265a790 pushed by recoules
August 25, 2023 17:18 8m 54s 0.1.1
0.1.1
August 25, 2023 17:18 8m 54s
fix c++17 flags CI #88: Commit 265a790 pushed by recoules
August 25, 2023 17:16 9m 33s master
master
August 25, 2023 17:16 9m 33s
prepare for OPAM release CI #87: Commit 99affd5 pushed by recoules
August 25, 2023 16:31 7m 43s 0.1.1
0.1.1
August 25, 2023 16:31 7m 43s
prepare for OPAM release CI #86: Commit 99affd5 pushed by recoules
August 25, 2023 16:25 12m 29s master
master
August 25, 2023 16:25 12m 29s
0.1.1 CI #85: Pull request #2 opened by recoules
August 25, 2023 16:09 13m 29s dev
dev
August 25, 2023 16:09 13m 29s
prepare for OPAM release CI #84: Commit c0cd984 pushed by recoules
August 25, 2023 16:07 13m 27s dev
dev
August 25, 2023 16:07 13m 27s
fix README, OCaml version & CI CI #83: Commit cf1ecb3 pushed by recoules
August 9, 2023 06:38 10m 28s dev
dev
August 9, 2023 06:38 10m 28s
fix README & Opam CI #82: Commit a23ef48 pushed by recoules
August 7, 2023 18:27 6m 43s dev
dev
August 7, 2023 18:27 6m 43s
update CI CI #81: Commit df19dfe pushed by recoules
August 7, 2023 18:13 8m 2s dev
dev
August 7, 2023 18:13 8m 2s
fix README CI #80: Commit 5681a09 pushed by recoules
August 7, 2023 18:08 6m 53s 0.1.0
0.1.0
August 7, 2023 18:08 6m 53s
fix README CI #79: Commit 5681a09 pushed by recoules
August 7, 2023 18:08 5m 15s dev
dev
August 7, 2023 18:08 5m 15s
change C to C++ API CI #78: Commit 62876fa pushed by recoules
August 7, 2023 18:01 8m 31s dev
dev
August 7, 2023 18:01 8m 31s