Skip to content

Actions: aibasel/downward

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[trivial] Fix clang-tidy check. Windows #1294: Commit aefe96a pushed by jendrikseipp
January 7, 2024 19:34 15m 25s main
main
January 7, 2024 19:34 15m 25s
Fix clang-tidy check. Windows #1293: Pull request #201 opened by jendrikseipp
January 7, 2024 18:33 13m 45s jendrikseipp:clang-tidy
jendrikseipp:clang-tidy
January 7, 2024 18:33 13m 45s
Issue1128 Windows #1292: Pull request #200 synchronize by ClemensBuechner
December 19, 2023 17:38 14m 6s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
December 19, 2023 17:38 14m 6s
Issue1128 Windows #1291: Pull request #200 opened by ClemensBuechner
December 19, 2023 15:51 13m 33s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
December 19, 2023 15:51 13m 33s
[trivial] restrict timer format changes to Logging. (#199) Windows #1290: Commit 9c5107f pushed by SimonDold
December 18, 2023 10:29 15m 37s main
main
December 18, 2023 10:29 15m 37s
[trivial] restrict format changes to Logging. Windows #1289: Pull request #199 synchronize by SimonDold
December 5, 2023 11:57 14m 0s SimonDold:timer-digits
SimonDold:timer-digits
December 5, 2023 11:57 14m 0s
[trivial] restrict format changes to Logging. Windows #1288: Pull request #199 synchronize by SimonDold
December 4, 2023 14:50 13m 28s SimonDold:timer-digits
SimonDold:timer-digits
December 4, 2023 14:50 13m 28s
[trivial] restrict format changes to Logging. Windows #1287: Pull request #199 synchronize by SimonDold
December 3, 2023 21:19 13m 35s SimonDold:timer-digits
SimonDold:timer-digits
December 3, 2023 21:19 13m 35s
[trivial] restrict format changes to Logging. Windows #1286: Pull request #199 synchronize by SimonDold
December 3, 2023 19:43 12m 59s SimonDold:timer-digits
SimonDold:timer-digits
December 3, 2023 19:43 12m 59s
[trivial] restrict format changes to Logging. Windows #1285: Pull request #199 synchronize by SimonDold
December 3, 2023 19:20 14m 37s SimonDold:timer-digits
SimonDold:timer-digits
December 3, 2023 19:20 14m 37s
[trivial] restrict format changes to Logging. Windows #1284: Pull request #199 opened by SimonDold
December 3, 2023 13:31 13m 29s SimonDold:timer-digits
SimonDold:timer-digits
December 3, 2023 13:31 13m 29s
[trivial] fix timer precision. (#198) Windows #1283: Commit f3ce70a pushed by SimonDold
November 27, 2023 08:33 16m 13s main
main
November 27, 2023 08:33 16m 13s
[trivial] fix timer precision. Windows #1282: Pull request #198 synchronize by SimonDold
November 27, 2023 07:19 13m 28s SimonDold:timer-digits
SimonDold:timer-digits
November 27, 2023 07:19 13m 28s
[trivial] fix timer precision. Windows #1281: Pull request #198 synchronize by SimonDold
November 24, 2023 09:24 13m 29s SimonDold:timer-digits
SimonDold:timer-digits
November 24, 2023 09:24 13m 29s
[trivial] fix timer precision. Windows #1280: Pull request #198 synchronize by SimonDold
November 24, 2023 09:00 13m 45s SimonDold:timer-digits
SimonDold:timer-digits
November 24, 2023 09:00 13m 45s
[trivial] fix timer precision. Windows #1279: Pull request #198 opened by SimonDold
November 24, 2023 08:36 13m 47s SimonDold:timer-digits
SimonDold:timer-digits
November 24, 2023 08:36 13m 47s
[issue1106] Support string options in parser. Windows #1278: Commit 47cc432 pushed by FlorianPommerening
November 21, 2023 17:23 15m 29s main
main
November 21, 2023 17:23 15m 29s
Support string options in parser Windows #1277: Pull request #170 synchronize by FlorianPommerening
November 21, 2023 17:04 15m 7s FlorianPommerening:issue1106
FlorianPommerening:issue1106
November 21, 2023 17:04 15m 7s
Support string options in parser Windows #1276: Pull request #170 synchronize by FlorianPommerening
November 21, 2023 16:43 13m 40s FlorianPommerening:issue1106
FlorianPommerening:issue1106
November 21, 2023 16:43 13m 40s
Support string options in parser Windows #1275: Pull request #170 synchronize by FlorianPommerening
November 20, 2023 21:37 13m 38s FlorianPommerening:issue1106
FlorianPommerening:issue1106
November 20, 2023 21:37 13m 38s
Support string options in parser Windows #1274: Pull request #170 synchronize by FlorianPommerening
November 16, 2023 18:02 13m 43s FlorianPommerening:issue1106
FlorianPommerening:issue1106
November 16, 2023 18:02 13m 43s
[trivial] fix documentation of f-preserving shrink strategy Windows #1273: Commit c5ffc2d pushed by silvansievers
November 8, 2023 20:26 26m 38s main
main
November 8, 2023 20:26 26m 38s
Issue1030 Windows #1272: Pull request #155 synchronize by ClemensBuechner
October 27, 2023 13:09 33m 34s PatrickFerber:issue1030
PatrickFerber:issue1030
October 27, 2023 13:09 33m 34s
[trivial] Fix recommended M&S config. Windows #1271: Commit c8b0792 pushed by jendrikseipp
October 19, 2023 14:51 21m 4s main
main
October 19, 2023 14:51 21m 4s
Fix recommended M&S config. Windows #1270: Pull request #197 opened by jendrikseipp
October 19, 2023 11:05 22m 6s jendrikseipp:fix-mas
jendrikseipp:fix-mas
October 19, 2023 11:05 22m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.