Skip to content

Actions: c-cube/ocaml-minisat

Actions

Build

Actions

Loading...

Show workflow options

Create status badge

main.yml
39 workflow runs
39 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI Build #56: Commit aeb7776 pushed by c-cube
February 5, 2024 06:31 13m 27s main
main
February 5, 2024 06:31 13m 27s
fix stubs (missing camlparam) Build #55: Commit 13d7de1 pushed by c-cube
February 5, 2024 06:12 14m 4s main
main
February 5, 2024 06:12 14m 4s
fix stubs (missing camlparam) Build #54: Commit 13d7de1 pushed by c-cube
September 18, 2023 14:44 18m 45s master
master
September 18, 2023 14:44 18m 45s
cleanup Build #53: Commit 472ef77 pushed by c-cube
June 14, 2023 15:51 9m 47s master
master
June 14, 2023 15:51 9m 47s
readme Build #52: Commit 3df9fe7 pushed by c-cube
June 14, 2023 15:50 11m 27s master
master
June 14, 2023 15:50 11m 27s
prepare for 0.6 Build #51: Commit f140c0f pushed by c-cube
June 13, 2023 16:43 19m 36s master
master
June 13, 2023 16:43 19m 36s
Build Build #50: by c-cube
June 13, 2023 16:42 20m 28s v0.6
v0.6
June 13, 2023 16:42 20m 28s
prepare for 0.6 Build #49: Commit 5afbede pushed by c-cube
June 13, 2023 16:40 13m 37s master
master
June 13, 2023 16:40 13m 37s
Build Build #48: by c-cube
June 13, 2023 16:39 12m 7s v0.6
v0.6
June 13, 2023 16:39 12m 7s
prepare for 0.6 Build #47: Commit 261e096 pushed by c-cube
June 13, 2023 14:48 12m 21s master
master
June 13, 2023 14:48 12m 21s
Build Build #46: by c-cube
June 13, 2023 14:39 25m 10s v0.6
v0.6
June 13, 2023 14:39 25m 10s
Build Build #45: by c-cube
June 13, 2023 14:09 11m 54s v0.6
v0.6
June 13, 2023 14:09 11m 54s
Build Build #44: by c-cube
June 13, 2023 14:08 14m 17s v0.6
v0.6
June 13, 2023 14:08 14m 17s
add Lit.apply_sign Build #43: Commit 484a174 pushed by c-cube
June 8, 2023 15:46 10m 34s master
master
June 8, 2023 15:46 10m 34s
fix: use modelValue for value; remove level, add value_at_level_0 Build #42: Commit c48d259 pushed by c-cube
June 7, 2023 19:47 11m 10s master
master
June 7, 2023 19:47 11m 10s
remove level, add value_at_level_0 Build #41: Commit fcf4a4f pushed by c-cube
June 7, 2023 19:47 11m 5s master
master
June 7, 2023 19:47 11m 5s
add ensure_lit_exists Build #40: Commit b468821 pushed by c-cube
June 7, 2023 19:38 12m 34s master
master
June 7, 2023 19:38 12m 34s
do not call simplify implicitly before solve Build #39: Commit 8176cde pushed by c-cube
June 7, 2023 19:14 8m 39s master
master
June 7, 2023 19:14 8m 39s
add Lit.hash Build #38: Commit a04d74f pushed by c-cube
June 7, 2023 15:01 14m 28s master
master
June 7, 2023 15:01 14m 28s
add level Build #37: Commit 552cc2f pushed by c-cube
June 6, 2023 20:22 13m 18s master
master
June 6, 2023 20:22 13m 18s
remove minisat-c code Build #36: Commit e280a9e pushed by c-cube
June 6, 2023 16:57 10m 50s master
master
June 6, 2023 16:57 10m 50s
CI Build #35: Commit 58a1639 pushed by c-cube
June 6, 2023 14:38 27m 14s master
master
June 6, 2023 14:38 27m 14s
CI Build #34: Commit 209f549 pushed by c-cube
June 6, 2023 14:21 12m 42s master
master
June 6, 2023 14:21 12m 42s
opam: depend on containers for tests Build #33: Commit 2407bc1 pushed by c-cube
June 6, 2023 02:40 12m 59s master
master
June 6, 2023 02:40 12m 59s
opam: depend on containers for tests Build #32: Commit f3cf062 pushed by c-cube
June 6, 2023 02:29 4m 34s master
master
June 6, 2023 02:29 4m 34s