Skip to content

Actions: aibasel/downward

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
583 workflow runs
583 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[trivial] Clean up documentation of iterated search. Ubuntu #1524: Commit 308812c pushed by ClemensBuechner
July 16, 2024 15:13 13m 26s main
main
July 16, 2024 15:13 13m 26s
Issue454 - move computation of negated axioms to search component Ubuntu #1523: Pull request #220 synchronize by salome-eriksson
July 16, 2024 15:11 11m 47s salome-eriksson:issue454
salome-eriksson:issue454
July 16, 2024 15:11 11m 47s
Issue454 - move computation of negated axioms to search component Ubuntu #1522: Pull request #220 synchronize by salome-eriksson
July 16, 2024 15:04 11m 5s salome-eriksson:issue454
salome-eriksson:issue454
July 16, 2024 15:04 11m 5s
Issue454 - move computation of negated axioms to search component Ubuntu #1521: Pull request #220 synchronize by salome-eriksson
July 16, 2024 14:46 12m 27s salome-eriksson:issue454
salome-eriksson:issue454
July 16, 2024 14:46 12m 27s
Issue454 - move computation of negated axioms to search component Ubuntu #1520: Pull request #220 synchronize by salome-eriksson
July 15, 2024 15:59 11m 35s salome-eriksson:issue454
salome-eriksson:issue454
July 15, 2024 15:59 11m 35s
[trivial] Add a hint path so CPLEX is found on M2 Macs. Ubuntu #1519: Commit 7aae43f pushed by FlorianPommerening
July 14, 2024 08:44 13m 33s main
main
July 14, 2024 08:44 13m 33s
Issue454 - move computation of negated axioms to search component Ubuntu #1518: Pull request #220 synchronize by salome-eriksson
July 12, 2024 13:40 11m 25s salome-eriksson:issue454
salome-eriksson:issue454
July 12, 2024 13:40 11m 25s
Issue454 - move computation of negated axioms to search component Ubuntu #1517: Pull request #220 synchronize by roeger
July 12, 2024 12:12 11m 26s salome-eriksson:issue454
salome-eriksson:issue454
July 12, 2024 12:12 11m 26s
Issue1140 Ubuntu #1516: Pull request #225 synchronize by remochristen
July 11, 2024 22:31 11m 12s remochristen:issue1140
remochristen:issue1140
July 11, 2024 22:31 11m 12s
Issue1140 Ubuntu #1515: Pull request #225 synchronize by remochristen
July 11, 2024 22:23 11m 45s remochristen:issue1140
remochristen:issue1140
July 11, 2024 22:23 11m 45s
[issue1130] Limit when iterated search passes bounds to component sea… Ubuntu #1514: Commit e18adec pushed by ClemensBuechner
July 10, 2024 10:30 24m 27s main
main
July 10, 2024 10:30 24m 27s
Issue1130 Ubuntu #1513: Pull request #203 synchronize by ClemensBuechner
July 10, 2024 09:51 11m 20s ClemensBuechner:issue1130
ClemensBuechner:issue1130
July 10, 2024 09:51 11m 20s
Issue1130 Ubuntu #1512: Pull request #203 synchronize by ClemensBuechner
July 10, 2024 09:47 10m 52s ClemensBuechner:issue1130
ClemensBuechner:issue1130
July 10, 2024 09:47 10m 52s
Issue1140 Ubuntu #1511: Pull request #225 synchronize by remochristen
July 9, 2024 22:50 11m 30s remochristen:issue1140
remochristen:issue1140
July 9, 2024 22:50 11m 30s
Issue1140 Ubuntu #1510: Pull request #225 opened by remochristen
July 9, 2024 22:38 11m 0s remochristen:issue1140
remochristen:issue1140
July 9, 2024 22:38 11m 0s
Issue1072 Ubuntu #1509: Pull request #210 synchronize by ClemensBuechner
July 9, 2024 14:28 12m 41s ClemensBuechner:issue1072
ClemensBuechner:issue1072
July 9, 2024 14:28 12m 41s
[issue1111] Change how data is passed to CPLEX to avoid crashes. Ubuntu #1508: Commit ba7f864 pushed by ClemensBuechner
July 9, 2024 12:51 12m 45s main
main
July 9, 2024 12:51 12m 45s
Issue1111 Ubuntu #1507: Pull request #205 synchronize by ClemensBuechner
July 9, 2024 10:42 11m 19s ClemensBuechner:issue1111
ClemensBuechner:issue1111
July 9, 2024 10:42 11m 19s
Issue1130 Ubuntu #1506: Pull request #203 synchronize by ClemensBuechner
July 9, 2024 10:22 10m 59s ClemensBuechner:issue1130
ClemensBuechner:issue1130
July 9, 2024 10:22 10m 59s
Issue1128 Ubuntu #1505: Pull request #200 synchronize by ClemensBuechner
July 9, 2024 10:02 11m 59s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
July 9, 2024 10:02 11m 59s
Issue1128 Ubuntu #1504: Pull request #200 synchronize by ClemensBuechner
July 9, 2024 09:21 11m 0s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
July 9, 2024 09:21 11m 0s
issue1142: update test versions Ubuntu #1503: Pull request #224 synchronize by FlorianPommerening
July 8, 2024 21:49 19m 48s FlorianPommerening:issue1142
FlorianPommerening:issue1142
July 8, 2024 21:49 19m 48s
issue1142: update test versions Ubuntu #1502: Pull request #224 synchronize by FlorianPommerening
July 8, 2024 21:46 19m 42s FlorianPommerening:issue1142
FlorianPommerening:issue1142
July 8, 2024 21:46 19m 42s
issue1142: update test versions Ubuntu #1501: Pull request #224 synchronize by FlorianPommerening
July 8, 2024 21:35 19m 45s FlorianPommerening:issue1142
FlorianPommerening:issue1142
July 8, 2024 21:35 19m 45s
issue1142: update test versions Ubuntu #1500: Pull request #224 synchronize by FlorianPommerening
July 5, 2024 21:55 19m 38s FlorianPommerening:issue1142
FlorianPommerening:issue1142
July 5, 2024 21:55 19m 38s