Skip to content

Actions: aibasel/downward

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
380 workflow runs
380 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[issue1133] Fix bug in invariant synthesis and revise its implementat… Ubuntu #1362: Commit 492f71c pushed by roeger
February 1, 2024 14:48 14m 32s main
main
February 1, 2024 14:48 14m 32s
Issue913 (instantiation bug with uninitialized numeric expressions) Ubuntu #1361: Pull request #216 synchronize by roeger
February 1, 2024 14:31 11m 50s roeger:issue913
roeger:issue913
February 1, 2024 14:31 11m 50s
[issue1082] Use Options objects only in Features Ubuntu #1360: Pull request #218 synchronize by SimonDold
February 1, 2024 13:34 11m 38s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 13:34 11m 38s
Issue913 (instantiation bug with uninitialized numeric expressions) Ubuntu #1359: Pull request #216 synchronize by roeger
February 1, 2024 13:31 11m 0s roeger:issue913
roeger:issue913
February 1, 2024 13:31 11m 0s
[issue1082] Use Options objects only in Features Ubuntu #1358: Pull request #218 synchronize by SimonDold
February 1, 2024 13:03 11m 5s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 13:03 11m 5s
Issue913 (instantiation bug with uninitialized numeric expressions) Ubuntu #1357: Pull request #216 synchronize by roeger
February 1, 2024 12:58 11m 8s roeger:issue913
roeger:issue913
February 1, 2024 12:58 11m 8s
[issue1082] Use Options objects only in Features Ubuntu #1356: Pull request #218 opened by SimonDold
February 1, 2024 11:19 11m 13s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 11:19 11m 13s
Issue1127: support negative literals in goal Ubuntu #1355: Pull request #217 opened by roeger
January 31, 2024 22:07 12m 6s roeger:issue1127
roeger:issue1127
January 31, 2024 22:07 12m 6s
[issue984] Exit more gracefully when running out of memory. Ubuntu #1354: Commit 07e922e pushed by ClemensBuechner
January 31, 2024 16:12 12m 38s main
main
January 31, 2024 16:12 12m 38s
Issue1134 Ubuntu #1353: Pull request #213 synchronize by remochristen
January 31, 2024 16:08 11m 28s remochristen:issue1134
remochristen:issue1134
January 31, 2024 16:08 11m 28s
Issue984 Ubuntu #1352: Pull request #215 synchronize by ClemensBuechner
January 31, 2024 13:11 11m 43s ClemensBuechner:issue984
ClemensBuechner:issue984
January 31, 2024 13:11 11m 43s
Issue913 (instantiation bug with uninitialized numeric expressions) Ubuntu #1351: Pull request #216 opened by roeger
January 31, 2024 11:56 11m 44s roeger:issue913
roeger:issue913
January 31, 2024 11:56 11m 44s
Issue984 Ubuntu #1350: Pull request #215 opened by ClemensBuechner
January 31, 2024 10:39 11m 18s ClemensBuechner:issue984
ClemensBuechner:issue984
January 31, 2024 10:39 11m 18s
[trivial] Update zlib version. Ubuntu #1349: Commit d7db49d pushed by ClemensBuechner
January 31, 2024 10:35 12m 44s main
main
January 31, 2024 10:35 12m 44s
[trivial] Update zlib version. Ubuntu #1348: Pull request #214 opened by ClemensBuechner
January 31, 2024 10:21 11m 26s ClemensBuechner:zlib
ClemensBuechner:zlib
January 31, 2024 10:21 11m 26s
Issue1133 Ubuntu #1347: Pull request #212 synchronize by roeger
January 31, 2024 08:10 11m 15s roeger:issue1133
roeger:issue1133
January 31, 2024 08:10 11m 15s
Issue1134 Ubuntu #1346: Pull request #213 synchronize by SimonDold
January 30, 2024 15:25 11m 39s remochristen:issue1134
remochristen:issue1134
January 30, 2024 15:25 11m 39s
Issue1134 Ubuntu #1345: Pull request #213 opened by remochristen
January 30, 2024 11:04 11m 18s remochristen:issue1134
remochristen:issue1134
January 30, 2024 11:04 11m 18s
Issue1133 Ubuntu #1344: Pull request #212 synchronize by roeger
January 30, 2024 08:58 11m 22s roeger:issue1133
roeger:issue1133
January 30, 2024 08:58 11m 22s
[issue1105] Refactor SCC merge strategy. Ubuntu #1343: Commit 9ac0165 pushed by silvansievers
January 29, 2024 15:59 14m 28s main
main
January 29, 2024 15:59 14m 28s
Issue1105 Ubuntu #1342: Pull request #169 synchronize by silvansievers
January 29, 2024 11:24 11m 20s silvansievers:issue1105
silvansievers:issue1105
January 29, 2024 11:24 11m 20s
Issue1130 Ubuntu #1341: Pull request #203 synchronize by ClemensBuechner
January 22, 2024 10:35 11m 3s ClemensBuechner:issue1130
ClemensBuechner:issue1130
January 22, 2024 10:35 11m 3s
Issue1130 Ubuntu #1340: Pull request #203 synchronize by ClemensBuechner
January 22, 2024 10:34 11m 15s ClemensBuechner:issue1130
ClemensBuechner:issue1130
January 22, 2024 10:34 11m 15s
Issue1133 Ubuntu #1339: Pull request #212 synchronize by roeger
January 20, 2024 20:27 11m 34s roeger:issue1133
roeger:issue1133
January 20, 2024 20:27 11m 34s
Issue1133 Ubuntu #1338: Pull request #212 opened by roeger
January 20, 2024 15:46 11m 14s roeger:issue1133
roeger:issue1133
January 20, 2024 15:46 11m 14s
ProTip! You can narrow down the results and go further in time using created:<2024-01-20 or the other filters available.