Skip to content

Actions: ML-KULeuven/klay

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: sd-dnnf-checker CI #10: Pull request #24 synchronize by IbrahimElk
5m 47s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
5m 47s
feat: sd-dnnf-checker CI #9: Pull request #24 synchronize by IbrahimElk
5m 40s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
5m 40s
feat: sd-dnnf-checker CI #8: Pull request #24 synchronize by IbrahimElk
5m 59s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
5m 59s
feat: sd-dnnf-checker CI #7: Pull request #24 synchronize by IbrahimElk
5m 15s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
5m 15s
feat: sd-dnnf-checker CI #6: Pull request #24 synchronize by IbrahimElk
5m 55s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
5m 55s
feat: sd-dnnf-checker CI #5: Pull request #24 synchronize by IbrahimElk
3m 17s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
3m 17s
ref: encapsulate classes in klay namespace CI #4: Commit 6679e34 pushed by jjcmoon
4m 54s main
main
4m 54s
ref: encapsulate classes in klay namespace CI #3: Pull request #29 opened by IbrahimElk
4m 52s IbrahimElk:feat/namespace
IbrahimElk:feat/namespace
4m 52s
feat: sd-dnnf-checker CI #2: Pull request #24 opened by IbrahimElk
6m 0s IbrahimElk:feat/sd-dnnf-checker
IbrahimElk:feat/sd-dnnf-checker
6m 0s
More conservative workflow CI #1: Commit 51d582e pushed by rmanhaeve
1m 11s main
main
1m 11s
also do pysdd bench in nesy/run Build #156: Commit cc3b2e3 pushed by jjcmoon
13m 27s baseline-benchmarks
baseline-benchmarks
13m 27s
updated workflow actions Build #155: Commit bb92e03 pushed by jjcmoon
14m 2s main
main
14m 2s
unused function Build #154: Commit e636211 pushed by jjcmoon
15m 34s main
main
15m 34s
fix: github vm limited disk space Build #153: Commit 18d18af pushed by jjcmoon
13m 21s main
main
13m 21s
extracting klay as a standalone C++ library Build #152: Pull request #23 synchronize by IbrahimElk
14m 44s IbrahimElk:ref-separation-of-concerns
IbrahimElk:ref-separation-of-concerns
14m 44s
extracting klay as a standalone C++ library Build #150: Pull request #23 synchronize by IbrahimElk
12m 21s IbrahimElk:ref-separation-of-concerns
IbrahimElk:ref-separation-of-concerns
12m 21s
extracting klay as a standalone C++ library Build #149: Pull request #23 synchronize by IbrahimElk
49s IbrahimElk:ref-separation-of-concerns
IbrahimElk:ref-separation-of-concerns
49s
extracting klay as a standalone C++ library Build #148: Pull request #23 synchronize by IbrahimElk
55s IbrahimElk:ref-separation-of-concerns
IbrahimElk:ref-separation-of-concerns
55s
extracting klay as a standalone C++ library Build #147: Pull request #23 synchronize by IbrahimElk
1m 11s IbrahimElk:ref-separation-of-concerns
IbrahimElk:ref-separation-of-concerns
1m 11s
Semiring rework Build #145: Pull request #21 synchronize by rmanhaeve
16m 58s semiring-rework
semiring-rework
16m 58s
Semiring rework Build #144: Pull request #21 synchronize by rmanhaeve
6m 43s semiring-rework
semiring-rework
6m 43s
Semiring rework Build #143: Pull request #21 synchronize by rmanhaeve
1m 22s semiring-rework
semiring-rework
1m 22s
Update workflow Build #142: Commit 2ec9a95 pushed by rmanhaeve
1m 45s semiring-rework
semiring-rework
1m 45s
Semiring rework Build #141: Pull request #21 opened by rmanhaeve
56s semiring-rework
semiring-rework
56s
Add benchmarking tools Build #140: Commit b3afad4 pushed by rmanhaeve
49s semiring-rework
semiring-rework
49s