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

Issue565 Ubuntu #1045: Pull request #160 opened by FlorianPommerening
July 24, 2023 18:52 47s FlorianPommerening:issue565
FlorianPommerening:issue565
July 24, 2023 18:52 47s
[trivial] follow-up fix to recent doc fix for iterated search Ubuntu #1044: Commit 3f69b11 pushed by maltehelmert
July 24, 2023 14:41 17m 55s main
main
July 24, 2023 14:41 17m 55s
[trivial] fix config in iterated search example Ubuntu #1043: Commit 77f5dcd pushed by silvansievers
July 24, 2023 14:28 22m 59s main
main
July 24, 2023 14:28 22m 59s
[issue1093] Update GitHub actions after removing OSI. Ubuntu #1042: Commit ab90e06 pushed by remochristen
July 24, 2023 08:04 17m 42s main
main
July 24, 2023 08:04 17m 42s
Issue1093 Ubuntu #1041: Pull request #159 synchronize by remochristen
July 21, 2023 13:48 21m 3s remochristen:issue1093
remochristen:issue1093
July 21, 2023 13:48 21m 3s
Issue1036 Ubuntu #1040: Pull request #70 synchronize by ClemensBuechner
July 21, 2023 13:31 17m 6s ClemensBuechner:issue1036
ClemensBuechner:issue1036
July 21, 2023 13:31 17m 6s
Issue1093 Ubuntu #1039: Pull request #159 opened by remochristen
July 21, 2023 13:21 17m 42s remochristen:issue1093
remochristen:issue1093
July 21, 2023 13:21 17m 42s
Issue1036 Ubuntu #1038: Pull request #70 synchronize by ClemensBuechner
July 21, 2023 12:55 15m 16s ClemensBuechner:issue1036
ClemensBuechner:issue1036
July 21, 2023 12:55 15m 16s
[issue388] Removed TODOs/comments related to issue388. Ubuntu #1037: Commit 4b0e90d pushed by maltehelmert
July 21, 2023 12:04 8m 18s main
main
July 21, 2023 12:04 8m 18s
[issue1076] Replace OSI with our own interface to LP/MIP solvers Ubuntu #1036: Commit f32a201 pushed by FlorianPommerening
July 20, 2023 10:37 8m 1s main
main
July 20, 2023 10:37 8m 1s
Issue1076 Ubuntu #1035: Pull request #151 synchronize by FlorianPommerening
July 20, 2023 10:18 13m 57s FlorianPommerening:issue1076
FlorianPommerening:issue1076
July 20, 2023 10:18 13m 57s
[issue1090] Update uncrustify to version 0.72 Ubuntu #1034: Commit 401a14b pushed by FlorianPommerening
July 19, 2023 16:45 21m 13s main
main
July 19, 2023 16:45 21m 13s
Issue1090 (use uncrustify 0.72) Ubuntu #1033: Pull request #157 synchronize by jendrikseipp
July 19, 2023 09:54 12m 49s jendrikseipp:issue1090
jendrikseipp:issue1090
July 19, 2023 09:54 12m 49s
Issue1090 (use uncrustify 0.72) Ubuntu #1032: Pull request #157 synchronize by jendrikseipp
July 19, 2023 09:48 17m 13s jendrikseipp:issue1090
jendrikseipp:issue1090
July 19, 2023 09:48 17m 13s
Issue1090 (use uncrustify 0.72) Ubuntu #1031: Pull request #157 synchronize by jendrikseipp
July 19, 2023 09:45 12m 49s jendrikseipp:issue1090
jendrikseipp:issue1090
July 19, 2023 09:45 12m 49s
Issue1090 (use uncrustify 0.72) Ubuntu #1030: Pull request #157 synchronize by jendrikseipp
July 19, 2023 09:29 14m 4s jendrikseipp:issue1090
jendrikseipp:issue1090
July 19, 2023 09:29 14m 4s
Issue1076 Ubuntu #1029: Pull request #151 synchronize by FlorianPommerening
July 18, 2023 22:59 14m 23s FlorianPommerening:issue1076
FlorianPommerening:issue1076
July 18, 2023 22:59 14m 23s
Issue1076 Ubuntu #1028: Pull request #151 synchronize by FlorianPommerening
July 18, 2023 17:42 12m 54s FlorianPommerening:issue1076
FlorianPommerening:issue1076
July 18, 2023 17:42 12m 54s
Issue1076 Ubuntu #1027: Pull request #151 synchronize by FlorianPommerening
July 18, 2023 17:38 14m 37s FlorianPommerening:issue1076
FlorianPommerening:issue1076
July 18, 2023 17:38 14m 37s
Issue1092 Ubuntu #1026: Pull request #158 synchronize by silvansievers
July 18, 2023 11:19 13m 6s silvansievers:issue1092
silvansievers:issue1092
July 18, 2023 11:19 13m 6s
Issue1092 Ubuntu #1025: Pull request #158 opened by silvansievers
July 18, 2023 07:25 16m 44s silvansievers:issue1092
silvansievers:issue1092
July 18, 2023 07:25 16m 44s
Issue1036 Ubuntu #1024: Pull request #70 synchronize by ClemensBuechner
July 17, 2023 07:35 14m 56s ClemensBuechner:issue1036
ClemensBuechner:issue1036
July 17, 2023 07:35 14m 56s
Issue1036 Ubuntu #1023: Pull request #70 synchronize by ClemensBuechner
July 17, 2023 07:30 12m 43s ClemensBuechner:issue1036
ClemensBuechner:issue1036
July 17, 2023 07:30 12m 43s
Issue1036 Ubuntu #1022: Pull request #70 synchronize by ClemensBuechner
July 17, 2023 07:25 17m 26s ClemensBuechner:issue1036
ClemensBuechner:issue1036
July 17, 2023 07:25 17m 26s
Issue1090 (use uncrustify 0.72) Ubuntu #1021: Pull request #157 synchronize by jendrikseipp
July 16, 2023 10:38 12m 57s jendrikseipp:issue1090
jendrikseipp:issue1090
July 16, 2023 10:38 12m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-07-16 or the other filters available.