Skip to content

Actions: aibasel/downward

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow run results
226 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[issue1095] Remove COIN/OSI/Gurobi references. macOS #1065: Commit 8bd99b4 pushed by remochristen
July 25, 2023 15:29 17m 49s main
main
July 25, 2023 15:29 17m 49s
[issue1095] Remove COIN/OSI/Gurobi references. Ubuntu #1065: Commit 8bd99b4 pushed by remochristen
July 25, 2023 15:29 23m 55s main
main
July 25, 2023 15:29 23m 55s
[issue1095] Remove COIN/OSI/Gurobi references. Autodoc #143: Commit 8bd99b4 pushed by remochristen
July 25, 2023 15:29 6m 30s main
main
July 25, 2023 15:29 6m 30s
[issue1095] Remove COIN/OSI/Gurobi references. Windows #1062: Commit 8bd99b4 pushed by remochristen
July 25, 2023 15:29 20m 22s main
main
July 25, 2023 15:29 20m 22s
[issue1095] Remove COIN/OSI/Gurobi references. Code style tests #910: Commit 8bd99b4 pushed by remochristen
July 25, 2023 15:29 6m 12s main
main
July 25, 2023 15:29 6m 12s
[issue1095] Remove COIN/OSI/Gurobi references. Ubuntu #1064: Pull request #163 opened by remochristen
July 25, 2023 14:58 22m 58s remochristen:issue1095
remochristen:issue1095
July 25, 2023 14:58 22m 58s
[issue1095] Remove COIN/OSI/Gurobi references. macOS #1064: Pull request #163 opened by remochristen
July 25, 2023 14:58 19m 45s remochristen:issue1095
remochristen:issue1095
July 25, 2023 14:58 19m 45s
[issue1095] Remove COIN/OSI/Gurobi references. Code style tests #909: Pull request #163 opened by remochristen
July 25, 2023 14:58 5m 36s remochristen:issue1095
remochristen:issue1095
July 25, 2023 14:58 5m 36s
[issue1095] Remove COIN/OSI/Gurobi references. Windows #1061: Pull request #163 opened by remochristen
July 25, 2023 14:58 23m 59s remochristen:issue1095
remochristen:issue1095
July 25, 2023 14:58 23m 59s
[issue565] Do not ignore warnings on Windows build. Autodoc #142: Commit 37b89a6 pushed by FlorianPommerening
July 25, 2023 14:49 5m 42s main
main
July 25, 2023 14:49 5m 42s
[issue565] Do not ignore warnings on Windows build. Windows #1060: Commit 37b89a6 pushed by FlorianPommerening
July 25, 2023 14:49 24m 19s main
main
July 25, 2023 14:49 24m 19s
[issue565] Do not ignore warnings on Windows build. macOS #1063: Commit 37b89a6 pushed by FlorianPommerening
July 25, 2023 14:49 14m 25s main
main
July 25, 2023 14:49 14m 25s
[issue565] Do not ignore warnings on Windows build. Ubuntu #1063: Commit 37b89a6 pushed by FlorianPommerening
July 25, 2023 14:49 19m 24s main
main
July 25, 2023 14:49 19m 24s
[issue565] Do not ignore warnings on Windows build. Code style tests #908: Commit 37b89a6 pushed by FlorianPommerening
July 25, 2023 14:49 6m 11s main
main
July 25, 2023 14:49 6m 11s
replace tl::optional with std::optional Windows #1059: Pull request #161 synchronize by FlorianPommerening
July 25, 2023 13:50 18m 46s FlorianPommerening:issue1094
FlorianPommerening:issue1094
July 25, 2023 13:50 18m 46s
replace tl::optional with std::optional Ubuntu #1062: Pull request #161 synchronize by FlorianPommerening
July 25, 2023 13:50 19m 12s FlorianPommerening:issue1094
FlorianPommerening:issue1094
July 25, 2023 13:50 19m 12s
replace tl::optional with std::optional Code style tests #907: Pull request #161 synchronize by FlorianPommerening
July 25, 2023 13:50 7m 54s FlorianPommerening:issue1094
FlorianPommerening:issue1094
July 25, 2023 13:50 7m 54s
replace tl::optional with std::optional macOS #1062: Pull request #161 synchronize by FlorianPommerening
July 25, 2023 13:50 11m 50s FlorianPommerening:issue1094
FlorianPommerening:issue1094
July 25, 2023 13:50 11m 50s
[issue1093] Fix Ubuntu GitHub action. macOS #1061: Commit d44dd8d pushed by remochristen
July 25, 2023 13:40 12m 6s main
main
July 25, 2023 13:40 12m 6s
[issue1093] Fix Ubuntu GitHub action. Code style tests #906: Commit d44dd8d pushed by remochristen
July 25, 2023 13:40 4m 51s main
main
July 25, 2023 13:40 4m 51s
[issue1093] Fix Ubuntu GitHub action. Ubuntu #1061: Commit d44dd8d pushed by remochristen
July 25, 2023 13:40 21m 8s main
main
July 25, 2023 13:40 21m 8s
[issue1093] Fix Ubuntu GitHub action. Windows #1058: Commit d44dd8d pushed by remochristen
July 25, 2023 13:40 25m 52s main
main
July 25, 2023 13:40 25m 52s
[issue1093] Fix Ubuntu GitHub action. Autodoc #141: Commit d44dd8d pushed by remochristen
July 25, 2023 13:40 5m 19s main
main
July 25, 2023 13:40 5m 19s
Issue1093 fix Windows #1057: Pull request #162 opened by remochristen
July 25, 2023 10:34 17m 35s remochristen:issue1093-fix
remochristen:issue1093-fix
July 25, 2023 10:34 17m 35s
Issue1093 fix Ubuntu #1060: Pull request #162 opened by remochristen
July 25, 2023 10:34 20m 2s remochristen:issue1093-fix
remochristen:issue1093-fix
July 25, 2023 10:34 20m 2s