Skip to content

Actions: SSoelvsten/adiar

Actions

cancel

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cancel.yml
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bug/internal/sorter/memory usage cancel #1043: Pull request #685 opened by SSoelvsten
July 1, 2024 12:13 22s bug/internal/sorter/memory_usage
bug/internal/sorter/memory_usage
July 1, 2024 12:13 22s
Experiment/v2.0.0/no cuts or random access cancel #1042: Pull request #684 opened by SSoelvsten
July 1, 2024 11:45 17s experiment/v2.0.0/no_cuts_or_random_access
experiment/v2.0.0/no_cuts_or_random_access
July 1, 2024 11:45 17s
BDD/RelPrev/Renaming cancel #1041: Pull request #680 synchronize by SSoelvsten
June 24, 2024 13:25 2m 46s bdd/relprev/renaming
bdd/relprev/renaming
June 24, 2024 13:25 2m 46s
Bdd/relprev/renaming prefix cancel #1040: Pull request #681 opened by SSoelvsten
June 24, 2024 13:14 14m 3s bdd/relprev/renaming_prefix
bdd/relprev/renaming_prefix
June 24, 2024 13:14 14m 3s
BDD/RelPrev/Renaming cancel #1039: Pull request #680 opened by SSoelvsten
June 24, 2024 13:09 23s bdd/relprev/renaming
bdd/relprev/renaming
June 24, 2024 13:09 23s
BDD/RelPrev/Renaming (Preliminary Work) cancel #1038: Pull request #676 opened by SSoelvsten
June 21, 2024 12:58 22s bdd/relprev/renaming_prework
bdd/relprev/renaming_prework
June 21, 2024 12:58 22s
BDD/RelNext/Renaming cancel #1037: Pull request #675 synchronize by SSoelvsten
June 14, 2024 13:13 17s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 13:13 17s
BDD/RelNext/Renaming cancel #1036: Pull request #675 opened by SSoelvsten
June 14, 2024 12:11 20s bdd/relnext/renaming
bdd/relnext/renaming
June 14, 2024 12:11 20s
BDD/RelProd/Quantification Pruning cancel #1035: Pull request #673 opened by SSoelvsten
June 14, 2024 09:40 12s bdd/relprod/prune
bdd/relprod/prune
June 14, 2024 09:40 12s
BDD/RelProd/Apply Transpose cancel #1034: Pull request #672 synchronize by SSoelvsten
June 13, 2024 12:52 16s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 12:52 16s
BDD/RelProd/Apply Transpose cancel #1033: Pull request #672 opened by SSoelvsten
June 13, 2024 11:45 14s bdd/relprod/apply_transpose
bdd/relprod/apply_transpose
June 13, 2024 11:45 14s
BDD/RelProd cancel #1032: Pull request #671 synchronize by SSoelvsten
June 11, 2024 09:28 31m 44s bdd/relprod
bdd/relprod
June 11, 2024 09:28 31m 44s
BDD/RelProd cancel #1031: Pull request #671 opened by SSoelvsten
June 11, 2024 09:24 16s bdd/relprod
bdd/relprod
June 11, 2024 09:24 16s
Add bdd_replace cancel #1030: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:30 10m 13s bdd/replace
bdd/replace
June 7, 2024 07:30 10m 13s
Add bdd_replace cancel #1029: Pull request #670 synchronize by SSoelvsten
June 7, 2024 07:10 20s bdd/replace
bdd/replace
June 7, 2024 07:10 20s
Add bdd_replace cancel #1028: Pull request #670 synchronize by SSoelvsten
June 6, 2024 14:35 19m 14s bdd/replace
bdd/replace
June 6, 2024 14:35 19m 14s
Add bdd_replace cancel #1027: Pull request #670 opened by SSoelvsten
June 6, 2024 14:22 19s bdd/replace
bdd/replace
June 6, 2024 14:22 19s
Bdd/diff op cancel #1026: Pull request #667 synchronize by SSoelvsten
May 30, 2024 14:13 31m 43s bdd/diff_op
bdd/diff_op
May 30, 2024 14:13 31m 43s
Bdd/diff op cancel #1025: Pull request #667 synchronize by SSoelvsten
May 30, 2024 14:12 21s bdd/diff_op
bdd/diff_op
May 30, 2024 14:12 21s
Bdd/diff op cancel #1024: Pull request #667 opened by SSoelvsten
May 30, 2024 12:17 19s bdd/diff_op
bdd/diff_op
May 30, 2024 12:17 19s
bdd_satmin and bdd_satmax with set of variables cancel #1023: Pull request #666 synchronize by SSoelvsten
May 30, 2024 09:44 27m 18s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 09:44 27m 18s
bdd_satmin and bdd_satmax with set of variables cancel #1022: Pull request #666 synchronize by SSoelvsten
May 30, 2024 09:38 21s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 09:38 21s
bdd_satmin and bdd_satmax with set of variables cancel #1021: Pull request #666 synchronize by SSoelvsten
May 30, 2024 08:31 3m 17s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 08:31 3m 17s
bdd_satmin and bdd_satmax with set of variables cancel #1020: Pull request #666 opened by SSoelvsten
May 30, 2024 08:30 22s bdd/sat_with_domain
bdd/sat_with_domain
May 30, 2024 08:30 22s
Update to latest version of BanditCPP (fixes errors on GCC 13.2.0) cancel #1019: Pull request #663 synchronize by SSoelvsten
May 13, 2024 11:38 20s bandit/update
bandit/update
May 13, 2024 11:38 20s