Skip to content

Actions: tulip-control/dd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ENH: add method cudd_add.Function.value() dd tests #188: Commit 7bed09d pushed by johnyf
2m 38s algebraic_cudd
algebraic_cudd
2m 38s
dd tests dd tests #187: Scheduled
2m 17s main
main
2m 17s
dd tests dd tests #186: Scheduled
2m 27s main
main
2m 27s
CI: test using CPython 3.14 dd tests #185: Commit 2596de4 pushed by johnyf
3m 45s main
main
3m 45s
DRAFT: CI: test using CPython 3.15 dd tests #184: Commit a813abf pushed by johnyf
4m 7s ci_py315
ci_py315
4m 7s
CI: test using CPython 3.14 dd tests #183: Commit 2596de4 pushed by johnyf
4m 48s ci_update
ci_update
4m 48s
CI: test using CPython 3.14 dd tests #182: Commit 82d46c3 pushed by johnyf
3m 49s ci_py314
ci_py314
3m 49s
CI: bump to Ubuntu 24.04 dd tests #181: Commit c170498 pushed by johnyf
4m 16s ci_ubuntu24
ci_ubuntu24
4m 16s
dd tests dd tests #180: Scheduled
2m 17s main
main
2m 17s
DOC: shift text dd tests #179: Commit e0ae407 pushed by johnyf
4m 17s main
main
4m 17s
DOC: Clarify use of 'exist' and 'let', point to list of operators dd tests #178: Commit 79f142a pushed by johnyf
2m 44s main
main
2m 44s
dd tests dd tests #176: Scheduled
2m 24s main
main
2m 24s
REF: rename parameter to token dd tests #175: Commit 1b8c343 pushed by johnyf
2m 9s main
main
2m 9s
DRAFT: CI: test using CPython 3.14 dd tests #174: Commit 12e7d75 pushed by johnyf
2m 23s ci_py314
ci_py314
2m 23s
ENH: add dd.sylvan.Function.count() dd tests #173: Commit da93635 pushed by johnyf
2m 14s main
main
2m 14s
ENH: add dd.sylvan.Function.count() dd tests #172: Pull request #106 opened by slivingston
2m 33s sylvan-function-count
sylvan-function-count
2m 33s
ENH: add dd.sylvan.Function.count() dd tests #171: Commit da93635 pushed by slivingston
1m 59s sylvan-function-count
sylvan-function-count
1m 59s
ENH: add dd.sylvan.BDD.count() dd tests #170: Commit d9fd355 pushed by slivingston
2m 13s main
main
2m 13s
ENH: add dd.sylvan.BDD.count() dd tests #169: Pull request #105 opened by johnyf
2m 25s sylvan_count
sylvan_count
2m 25s
ENH: add dd.sylvan.BDD.count() dd tests #168: Commit d9fd355 pushed by johnyf
2m 17s sylvan_count
sylvan_count
2m 17s
TST: add to test_count() dd tests #167: Commit 37b0c75 pushed by johnyf
2m 3s main
main
2m 3s
ENH: add dd.sylvan.BDD.count() dd tests #166: Commit ec1eaba pushed by johnyf
2m 15s sylvan_count
sylvan_count
2m 15s
dd tests dd tests #165: Scheduled
1m 58s main
main
1m 58s
dd tests dd tests #164: Scheduled
2m 17s main
main
2m 17s
DRAFT: CI: test using CPython 3.14 dd tests #153: Commit ee244e8 pushed by johnyf
2m 26s ci_py314
ci_py314
2m 26s