Skip to content

Actions: aibasel/downward

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
584 workflow runs
584 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use modern CMake Ubuntu #1095: Pull request #164 synchronize by salome-eriksson
July 28, 2023 09:45 19m 45s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 09:45 19m 45s
[issue1099] rename search engine to search algorithm Ubuntu #1094: Commit 5d4ac09 pushed by silvansievers
July 28, 2023 09:37 18m 34s main
main
July 28, 2023 09:37 18m 34s
Use modern CMake Ubuntu #1093: Pull request #164 synchronize by FlorianPommerening
July 28, 2023 09:02 22m 2s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 09:02 22m 2s
rename everything 'search engine' related to 'search algorithm' Ubuntu #1092: Pull request #166 opened by silvansievers
July 28, 2023 07:42 20m 55s silvansievers:issue1099
silvansievers:issue1099
July 28, 2023 07:42 20m 55s
Use modern CMake Ubuntu #1091: Pull request #164 synchronize by salome-eriksson
July 28, 2023 07:18 21m 38s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 07:18 21m 38s
Use modern CMake Ubuntu #1090: Pull request #164 synchronize by salome-eriksson
July 28, 2023 07:17 1m 52s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 07:17 1m 52s
Use modern CMake Ubuntu #1089: Pull request #164 synchronize by salome-eriksson
July 28, 2023 07:14 20m 6s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 07:14 20m 6s
Use modern CMake Ubuntu #1088: Pull request #164 synchronize by salome-eriksson
July 28, 2023 06:55 3m 2s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 06:55 3m 2s
Use modern CMake Ubuntu #1087: Pull request #164 synchronize by FlorianPommerening
July 28, 2023 06:30 3m 42s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 06:30 3m 42s
Use modern CMake Ubuntu #1086: Pull request #164 synchronize by FlorianPommerening
July 28, 2023 05:00 2m 6s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 28, 2023 05:00 2m 6s
Use modern CMake Ubuntu #1085: Pull request #164 synchronize by FlorianPommerening
July 27, 2023 22:44 1m 54s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 27, 2023 22:44 1m 54s
Use modern CMake Ubuntu #1084: Pull request #164 synchronize by salome-eriksson
July 27, 2023 16:54 6m 20s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 27, 2023 16:54 6m 20s
Use modern CMake Ubuntu #1083: Pull request #164 synchronize by salome-eriksson
July 27, 2023 16:50 5m 5s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 27, 2023 16:50 5m 5s
[issue1098] Rename cegar directory to cartesian_abstractions. Ubuntu #1082: Commit 321f6a0 pushed by silvansievers
July 27, 2023 09:26 20m 22s main
main
July 27, 2023 09:26 20m 22s
[issue1098] Rename cegar directory to cartesian_abstractions. Ubuntu #1081: Commit 1fb9879 pushed by silvansievers
July 27, 2023 09:18 21m 47s main
main
July 27, 2023 09:18 21m 47s
Issue1098 Ubuntu #1080: Pull request #165 synchronize by silvansievers
July 27, 2023 09:17 18m 27s silvansievers:issue1098
silvansievers:issue1098
July 27, 2023 09:17 18m 27s
[issue1092] Add option to cache scores in MIASM scoring function. Ubuntu #1079: Commit 66a2ca6 pushed by silvansievers
July 27, 2023 09:03 20m 59s main
main
July 27, 2023 09:03 20m 59s
Use modern CMake Ubuntu #1078: Pull request #164 synchronize by FlorianPommerening
July 26, 2023 20:59 18m 13s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 26, 2023 20:59 18m 13s
Use modern CMake Ubuntu #1077: Pull request #164 synchronize by FlorianPommerening
July 26, 2023 20:26 20m 3s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 26, 2023 20:26 20m 3s
Use modern CMake Ubuntu #1076: Pull request #164 synchronize by FlorianPommerening
July 26, 2023 19:31 18m 7s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 26, 2023 19:31 18m 7s
Use modern CMake Ubuntu #1075: Pull request #164 synchronize by FlorianPommerening
July 26, 2023 18:32 21m 13s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 26, 2023 18:32 21m 13s
Use modern CMake Ubuntu #1074: Pull request #164 synchronize by FlorianPommerening
July 26, 2023 17:47 16m 38s FlorianPommerening:issue1097
FlorianPommerening:issue1097
July 26, 2023 17:47 16m 38s
Issue1098 Ubuntu #1073: Pull request #165 opened by silvansievers
July 26, 2023 13:34 16m 20s silvansievers:issue1098
silvansievers:issue1098
July 26, 2023 13:34 16m 20s
Issue1092 Ubuntu #1072: Pull request #158 synchronize by silvansievers
July 26, 2023 10:50 16m 20s silvansievers:issue1092
silvansievers:issue1092
July 26, 2023 10:50 16m 20s
Issue1092 Ubuntu #1071: Pull request #158 synchronize by silvansievers
July 26, 2023 10:25 18m 42s silvansievers:issue1092
silvansievers:issue1092
July 26, 2023 10:25 18m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-07-26 or the other filters available.