Skip to content

Actions: SSoelvsten/adiar

cancel

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
273 workflow runs
273 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Functional/single output iterator
cancel #1060: Pull request #695 synchronize by SSoelvsten
October 23, 2024 09:39 6m 24s functional/single_output_iterator
October 23, 2024 09:39 6m 24s
Set tpie::tempname before calling tpie_init()
cancel #1058: Pull request #694 synchronize by nhusung
October 7, 2024 10:56 17s nhusung:tpie-tmp-dir
October 7, 2024 10:56 17s
Only enable TPIE's logging while in Debug
cancel #1052: Pull request #692 synchronize by SSoelvsten
August 15, 2024 08:33 43s tpie/disable_log
August 15, 2024 08:33 43s
Only enable TPIE's logging while in Debug
cancel #1051: Pull request #692 synchronize by SSoelvsten
August 15, 2024 08:32 15s tpie/disable_log
August 15, 2024 08:32 15s
Only enable TPIE's logging while in Debug
cancel #1050: Pull request #692 synchronize by SSoelvsten
August 15, 2024 08:27 4m 19s tpie/disable_log
August 15, 2024 08:27 4m 19s
Only enable TPIE's logging while in Debug
cancel #1049: Pull request #692 opened by SSoelvsten
August 15, 2024 08:25 25s tpie/disable_log
August 15, 2024 08:25 25s
Bdd/relprod/quality of life
cancel #1048: Pull request #689 synchronize by SSoelvsten
July 29, 2024 12:08 20s bdd/relprod/quality_of_life
July 29, 2024 12:08 20s
Bdd/relprod/quality of life
cancel #1047: Pull request #689 opened by SSoelvsten
July 29, 2024 09:35 20s bdd/relprod/quality_of_life
July 29, 2024 09:35 20s
BDD/RelPrev/Renaming
cancel #1041: Pull request #680 synchronize by SSoelvsten
June 24, 2024 13:25 2m 46s 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
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
June 24, 2024 13:09 23s
BDD/RelNext/Renaming
cancel #1037: Pull request #675 synchronize by SSoelvsten
June 14, 2024 13:13 17s 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
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
June 14, 2024 09:40 12s