Skip to content

Actions: neuppl/rsdd

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

FFI for SDD and d-DNNF (#188) CI #548: Commit ec30172 pushed by SHoltzen
October 23, 2024 12:32 2m 25s main
main
October 23, 2024 12:32 2m 25s
FFI for SDD and d-DNNF CI #547: Pull request #188 synchronize by bamarsha
October 23, 2024 03:25 2m 49s bamarsha/ffi
bamarsha/ffi
October 23, 2024 03:25 2m 49s
FFI for SDD and d-DNNF CI #546: Pull request #188 synchronize by bamarsha
October 23, 2024 03:09 2m 45s bamarsha/ffi
bamarsha/ffi
October 23, 2024 03:09 2m 45s
add JSON serialization to FFI CI #545: Pull request #192 opened by camoy
October 19, 2024 17:41 2m 45s camoy:ffi-json
camoy:ffi-json
October 19, 2024 17:41 2m 45s
FFI for WMC with complex numbers (#191) CI #544: Commit 9247bb6 pushed by SHoltzen
October 15, 2024 11:33 1m 58s main
main
October 15, 2024 11:33 1m 58s
FFI for WMC with complex numbers CI #543: Pull request #191 opened by bamarsha
October 13, 2024 19:35 2m 39s bamarsha/complex
bamarsha/complex
October 13, 2024 19:35 2m 39s
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