Skip to content

Actions: neuppl/rsdd-ocaml

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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