Skip to content

Actions: neuppl/rsdd-ocaml

Actions

OCaml CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml-ci.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add CHANGELOG file OCaml CI #41: Commit a94d78c pushed by mattxwang
October 25, 2023 21:06 22m 10s main
main
October 25, 2023 21:06 22m 10s
add myself as maintainer OCaml CI #40: Commit f4a339a pushed by minsungc
October 7, 2023 16:35 12m 40s main
main
October 7, 2023 16:35 12m 40s
Remove (now-unneeded) x-ci-accept-failures OCaml CI #39: Commit 7a32c21 pushed by mattxwang
October 6, 2023 17:35 10m 35s main
main
October 6, 2023 17:35 10m 35s
Remove redundant dune-project constraint, use template for `z-ci-ac… OCaml CI #38: Commit e3711a8 pushed by mattxwang
October 5, 2023 17:17 16m 13s main
main
October 5, 2023 17:17 16m 13s
Replace u64 with i64 in client-facing code, force conversions (#6) OCaml CI #37: Commit 2627bea pushed by mattxwang
October 5, 2023 17:11 17m 43s main
main
October 5, 2023 17:11 17m 43s
Replace u64 with i64 in client-facing code, force conversions OCaml CI #36: Pull request #6 opened by mattxwang
October 4, 2023 18:00 16m 19s rewrite-i64
rewrite-i64
October 4, 2023 18:00 16m 19s
Fix bug with bdd_meu calling bb instead OCaml CI #35: Commit 9c02124 pushed by mattxwang
October 4, 2023 17:51 17m 47s main
main
October 4, 2023 17:51 17m 47s
Make dune constraint consistent OCaml CI #34: Commit fc2965d pushed by mattxwang
October 4, 2023 17:25 20m 43s main
main
October 4, 2023 17:25 20m 43s
Create LICENSE OCaml CI #33: Commit 6e6a1b0 pushed by mattxwang
October 4, 2023 17:21 19m 59s main
main
October 4, 2023 17:21 19m 59s
Add .ocamlformat, run dune fmt OCaml CI #32: Commit 9bb86e3 pushed by mattxwang
September 20, 2023 00:59 14m 38s main
main
September 20, 2023 00:59 14m 38s
Bump rsdd to 1613459 OCaml CI #31: Commit 9749c5e pushed by mattxwang
September 20, 2023 00:38 15m 6s main
main
September 20, 2023 00:38 15m 6s
Update README.md OCaml CI #30: Commit 3d3c272 pushed by minsungc
September 17, 2023 13:48 12m 31s main
main
September 17, 2023 13:48 12m 31s
Add WMC for RealSemiring, change VarLabel return value (#4) OCaml CI #29: Commit 2698ca3 pushed by mattxwang
September 14, 2023 16:41 16m 50s main
main
September 14, 2023 16:41 16m 50s
Add WMC for RealSemiring, change VarLabel return value OCaml CI #28: Pull request #4 opened by mattxwang
September 14, 2023 16:40 17m 14s minsung/wmc
minsung/wmc
September 14, 2023 16:40 17m 14s
CI: enable dune-cache (#3) OCaml CI #27: Commit 19b2181 pushed by mattxwang
September 14, 2023 16:40 15m 27s main
main
September 14, 2023 16:40 15m 27s
Merge pull request #1 from neuppl/minsung/wmc OCaml CI #26: Commit 79c7435 pushed by minsungc
September 14, 2023 12:57 16m 3s main
main
September 14, 2023 12:57 16m 3s
New WmcParams in RealSemiring OCaml CI #25: Pull request #1 synchronize by minsungc
September 14, 2023 12:38 16m 39s minsung/wmc
minsung/wmc
September 14, 2023 12:38 16m 39s
New WmcParams in RealSemiring OCaml CI #24: Pull request #1 synchronize by minsungc
September 14, 2023 02:01 17m 19s minsung/wmc
minsung/wmc
September 14, 2023 02:01 17m 19s
New WmcParams in RealSemiring OCaml CI #23: Pull request #1 synchronize by mattxwang
September 14, 2023 00:13 20m 18s minsung/wmc
minsung/wmc
September 14, 2023 00:13 20m 18s
CI: enable dune-cache (#3) OCaml CI #22: Commit 19b2181 pushed by mattxwang
September 14, 2023 00:13 16m 46s main
main
September 14, 2023 00:13 16m 46s
New WmcParams in RealSemiring OCaml CI #21: Pull request #1 synchronize by mattxwang
September 14, 2023 00:09 12m 6s minsung/wmc
minsung/wmc
September 14, 2023 00:09 12m 6s
New WmcParams in RealSemiring OCaml CI #20: Pull request #1 synchronize by mattxwang
September 14, 2023 00:02 11m 33s minsung/wmc
minsung/wmc
September 14, 2023 00:02 11m 33s
New WmcParams in RealSemiring OCaml CI #19: Pull request #1 synchronize by minsungc
September 13, 2023 23:54 14m 42s minsung/wmc
minsung/wmc
September 13, 2023 23:54 14m 42s
CI: enable dune-cache OCaml CI #18: Pull request #3 synchronize by mattxwang
September 13, 2023 23:40 14m 46s ci-dune-cache
ci-dune-cache
September 13, 2023 23:40 14m 46s
CI: enable dune-cache OCaml CI #17: Pull request #3 opened by mattxwang
September 13, 2023 23:22 23m 9s ci-dune-cache
ci-dune-cache
September 13, 2023 23:22 23m 9s