Skip to content

Actions: aibasel/downward

Actions

Code style tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
style.yml
142 workflow run results
142 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Issue1134 Code style tests #1213: Pull request #213 synchronize by FlorianPommerening
February 1, 2024 22:48 5m 33s remochristen:issue1134
remochristen:issue1134
February 1, 2024 22:48 5m 33s
Issue1134 Code style tests #1212: Pull request #213 synchronize by FlorianPommerening
February 1, 2024 22:42 5m 33s remochristen:issue1134
remochristen:issue1134
February 1, 2024 22:42 5m 33s
[issue1082] Use Options objects only in Features Code style tests #1211: Pull request #218 synchronize by SimonDold
February 1, 2024 22:09 6m 2s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 22:09 6m 2s
Issue1134 Code style tests #1210: Pull request #213 synchronize by remochristen
February 1, 2024 17:55 5m 43s remochristen:issue1134
remochristen:issue1134
February 1, 2024 17:55 5m 43s
[issue1082] Use Options objects only in Features Code style tests #1209: Pull request #218 synchronize by SimonDold
February 1, 2024 17:47 5m 39s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 17:47 5m 39s
[issue913] Handle actions with uninitialized numeric expressions in i… Code style tests #1208: Commit db426cd pushed by roeger
February 1, 2024 15:11 5m 45s main
main
February 1, 2024 15:11 5m 45s
[issue1133] Fix bug in invariant synthesis and revise its implementat… Code style tests #1207: Commit 492f71c pushed by roeger
February 1, 2024 14:48 6m 0s main
main
February 1, 2024 14:48 6m 0s
Issue913 (instantiation bug with uninitialized numeric expressions) Code style tests #1206: Pull request #216 synchronize by roeger
February 1, 2024 14:31 5m 45s roeger:issue913
roeger:issue913
February 1, 2024 14:31 5m 45s
[issue1082] Use Options objects only in Features Code style tests #1205: Pull request #218 synchronize by SimonDold
February 1, 2024 13:34 5m 31s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 13:34 5m 31s
Issue913 (instantiation bug with uninitialized numeric expressions) Code style tests #1204: Pull request #216 synchronize by roeger
February 1, 2024 13:31 5m 44s roeger:issue913
roeger:issue913
February 1, 2024 13:31 5m 44s
[issue1082] Use Options objects only in Features Code style tests #1203: Pull request #218 synchronize by SimonDold
February 1, 2024 13:03 5m 48s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 13:03 5m 48s
Issue913 (instantiation bug with uninitialized numeric expressions) Code style tests #1202: Pull request #216 synchronize by roeger
February 1, 2024 12:58 5m 59s roeger:issue913
roeger:issue913
February 1, 2024 12:58 5m 59s
[issue1082] Use Options objects only in Features Code style tests #1201: Pull request #218 opened by SimonDold
February 1, 2024 11:19 5m 36s SimonDold:issue1082
SimonDold:issue1082
February 1, 2024 11:19 5m 36s
Issue1127: support negative literals in goal Code style tests #1200: Pull request #217 opened by roeger
January 31, 2024 22:07 5m 33s roeger:issue1127
roeger:issue1127
January 31, 2024 22:07 5m 33s
[issue984] Exit more gracefully when running out of memory. Code style tests #1199: Commit 07e922e pushed by ClemensBuechner
January 31, 2024 16:12 5m 40s main
main
January 31, 2024 16:12 5m 40s
Issue1134 Code style tests #1198: Pull request #213 synchronize by remochristen
January 31, 2024 16:08 6m 12s remochristen:issue1134
remochristen:issue1134
January 31, 2024 16:08 6m 12s
Issue984 Code style tests #1197: Pull request #215 synchronize by ClemensBuechner
January 31, 2024 13:11 5m 39s ClemensBuechner:issue984
ClemensBuechner:issue984
January 31, 2024 13:11 5m 39s
Issue913 (instantiation bug with uninitialized numeric expressions) Code style tests #1196: Pull request #216 opened by roeger
January 31, 2024 11:56 6m 20s roeger:issue913
roeger:issue913
January 31, 2024 11:56 6m 20s
Issue984 Code style tests #1195: Pull request #215 opened by ClemensBuechner
January 31, 2024 10:39 5m 36s ClemensBuechner:issue984
ClemensBuechner:issue984
January 31, 2024 10:39 5m 36s
[trivial] Update zlib version. Code style tests #1194: Commit d7db49d pushed by ClemensBuechner
January 31, 2024 10:35 6m 3s main
main
January 31, 2024 10:35 6m 3s
[trivial] Update zlib version. Code style tests #1193: Pull request #214 opened by ClemensBuechner
January 31, 2024 10:21 5m 42s ClemensBuechner:zlib
ClemensBuechner:zlib
January 31, 2024 10:21 5m 42s
Issue1133 Code style tests #1192: Pull request #212 synchronize by roeger
January 31, 2024 08:10 5m 43s roeger:issue1133
roeger:issue1133
January 31, 2024 08:10 5m 43s
Issue1134 Code style tests #1191: Pull request #213 synchronize by SimonDold
January 30, 2024 15:25 6m 32s remochristen:issue1134
remochristen:issue1134
January 30, 2024 15:25 6m 32s
Issue1134 Code style tests #1190: Pull request #213 opened by remochristen
January 30, 2024 11:04 6m 38s remochristen:issue1134
remochristen:issue1134
January 30, 2024 11:04 6m 38s
Issue1133 Code style tests #1189: Pull request #212 synchronize by roeger
January 30, 2024 08:58 6m 10s roeger:issue1133
roeger:issue1133
January 30, 2024 08:58 6m 10s