Skip to content

Actions: neuppl/rsdd

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
252 workflow runs
252 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add num_recursive_calls to FFI (#189) CI #542: Commit 2ccf991 pushed by SHoltzen
September 26, 2024 18:08 2m 59s main
main
September 26, 2024 18:08 2m 59s
add num_recursive_calls to FFI CI #541: Pull request #189 opened by camoy
June 16, 2024 16:58 2m 44s camoy:num-rec-calls
camoy:num-rec-calls
June 16, 2024 16:58 2m 44s
FFI for SDD and d-DNNF CI #540: Pull request #188 opened by bamarsha
May 31, 2024 18:10 2m 48s bamarsha/ffi
bamarsha/ffi
May 31, 2024 18:10 2m 48s
wmc in the FFI (#184) CI #539: Commit 01a7723 pushed by minsungc
December 10, 2023 16:51 2m 44s main
main
December 10, 2023 16:51 2m 44s
wmc in the FFI CI #538: Pull request #184 synchronize by stites
December 9, 2023 01:54 3m 3s stites:ffi_wmc
stites:ffi_wmc
December 9, 2023 01:54 3m 3s
wmc in the FFI CI #537: Pull request #184 synchronize by stites
December 9, 2023 01:51 2m 35s stites:ffi_wmc
stites:ffi_wmc
December 9, 2023 01:51 2m 35s
wmc in the FFI CI #536: Pull request #184 synchronize by stites
December 9, 2023 01:41 3m 7s stites:ffi_wmc
stites:ffi_wmc
December 9, 2023 01:41 3m 7s
wmc in the FFI CI #535: Pull request #184 synchronize by stites
December 9, 2023 01:31 3m 37s stites:ffi_wmc
stites:ffi_wmc
December 9, 2023 01:31 3m 37s
Fix clippy CI #534: Commit f5d5e17 pushed by mattxwang
November 22, 2023 22:52 2m 59s main
main
November 22, 2023 22:52 2m 59s
Run cargo fmt CI #533: Commit ec57116 pushed by mattxwang
November 22, 2023 22:19 2m 50s main
main
November 22, 2023 22:19 2m 50s
qc for bdd canonicity CI #532: Commit 3c66ac0 pushed by SHoltzen
November 18, 2023 15:56 3m 7s main
main
November 18, 2023 15:56 3m 7s
Scaffolding out has_smoothed_weights CI #531: Pull request #185 opened by mattxwang
October 25, 2023 01:09 3m 46s unsmoothed-debug-assert
unsmoothed-debug-assert
October 25, 2023 01:09 3m 46s
bump nix flake (#183) CI #530: Commit 39aadfb pushed by stites
October 24, 2023 14:54 4m 26s main
main
October 24, 2023 14:54 4m 26s
wmc in the FFI CI #529: Pull request #184 opened by stites
October 24, 2023 14:50 3m 39s stites:ffi_wmc
stites:ffi_wmc
October 24, 2023 14:50 3m 39s
bump nix flake CI #528: Pull request #183 opened by stites
October 24, 2023 14:46 4m 22s stites:nix
stites:nix
October 24, 2023 14:46 4m 22s
Fix unchecked index for Robdd allocator CI #527: Pull request #182 opened by mattxwang
October 23, 2023 08:15 4m 5s fix-madkour-bug
fix-madkour-bug
October 23, 2023 08:15 4m 5s
Fix clippy (#181) CI #526: Commit 417e477 pushed by mattxwang
October 23, 2023 07:21 3m 25s main
main
October 23, 2023 07:21 3m 25s
Fix clippy CI #525: Pull request #181 opened by mattxwang
October 19, 2023 18:51 3m 41s fix-clippy
fix-clippy
October 19, 2023 18:51 3m 41s
fix ffi so that bdd_or is correct (#180) CI #524: Commit 12a7a0e pushed by SHoltzen
October 19, 2023 11:03 3m 37s main
main
October 19, 2023 11:03 3m 37s
fix ffi so that bdd_or is correct CI #523: Pull request #180 reopened by SHoltzen
October 19, 2023 11:03 4m 0s camoy:and-or
camoy:and-or
October 19, 2023 11:03 4m 0s
Expected utility branch-and-bound with evidence CI #521: Pull request #179 synchronize by minsungc
September 21, 2023 19:37 5m 14s bb-lb
bb-lb
September 21, 2023 19:37 5m 14s
Expected utility branch-and-bound with evidence CI #520: Pull request #179 opened by minsungc
September 21, 2023 18:37 3m 7s bb-lb
bb-lb
September 21, 2023 18:37 3m 7s
Add RationalSemiring with the rational crate (#162) CI #519: Commit 1613459 pushed by mattxwang
September 17, 2023 20:23 3m 46s main
main
September 17, 2023 20:23 3m 46s
Place C bindings behind ffi feature flag, add FFI CI (#178) CI #518: Commit c477465 pushed by mattxwang
September 13, 2023 23:02 4m 34s main
main
September 13, 2023 23:02 4m 34s
Place C bindings behind ffi feature flag, add FFI CI CI #517: Pull request #178 synchronize by mattxwang
September 13, 2023 22:59 3m 53s ffi-feature-flag
ffi-feature-flag
September 13, 2023 22:59 3m 53s