Skip to content

Actions: aibasel/downward

Actions

Code style tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
style.yml
372 workflow runs
372 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Itemize paper references again. Code style tests #1167: Pull request #209 opened by jendrikseipp
January 10, 2024 18:19 5m 44s jendrikseipp:itemize-papers
jendrikseipp:itemize-papers
January 10, 2024 18:19 5m 44s
[issue1132] Fix txt2tags markup. Code style tests #1166: Commit 329c5fe pushed by jendrikseipp
January 10, 2024 17:26 5m 37s main
main
January 10, 2024 17:26 5m 37s
Fix txt2tags markup. Code style tests #1165: Pull request #208 synchronize by jendrikseipp
January 10, 2024 12:37 6m 2s jendrikseipp:fix-markup
jendrikseipp:fix-markup
January 10, 2024 12:37 6m 2s
[issue1131] Backport some small fixes and changes from Scorpion. Code style tests #1164: Commit c08369e pushed by jendrikseipp
January 10, 2024 12:20 6m 15s main
main
January 10, 2024 12:20 6m 15s
Backport some small changes from Scorpion. Code style tests #1163: Pull request #207 synchronize by jendrikseipp
January 10, 2024 11:12 6m 26s jendrikseipp:backport-from-scorpion
jendrikseipp:backport-from-scorpion
January 10, 2024 11:12 6m 26s
Fix txt2tags markup. Code style tests #1162: Pull request #208 opened by jendrikseipp
January 9, 2024 13:59 6m 21s jendrikseipp:fix-markup
jendrikseipp:fix-markup
January 9, 2024 13:59 6m 21s
Backport some small changes from Scorpion. Code style tests #1161: Pull request #207 opened by jendrikseipp
January 9, 2024 13:44 6m 11s jendrikseipp:backport-from-scorpion
jendrikseipp:backport-from-scorpion
January 9, 2024 13:44 6m 11s
[trivial] Add clang-tidy test that was erroneously commented out and … Code style tests #1160: Commit a598ba4 pushed by jendrikseipp
January 9, 2024 13:42 5m 46s main
main
January 9, 2024 13:42 5m 46s
Add clang-tidy test that was erroneously commented out. Code style tests #1159: Pull request #206 opened by jendrikseipp
January 9, 2024 13:12 5m 42s jendrikseipp:small-clang-tidy-fixes
jendrikseipp:small-clang-tidy-fixes
January 9, 2024 13:12 5m 42s
[issue1129] Enable more performance-related clang-tidy checks and fix… Code style tests #1158: Commit 0ce8d67 pushed by jendrikseipp
January 9, 2024 11:04 5m 35s main
main
January 9, 2024 11:04 5m 35s
Issue1111 Code style tests #1157: Pull request #205 synchronize by ClemensBuechner
January 9, 2024 10:17 4m 46s ClemensBuechner:issue1111
ClemensBuechner:issue1111
January 9, 2024 10:17 4m 46s
Issue1128 Code style tests #1156: Pull request #200 synchronize by ClemensBuechner
January 9, 2024 09:45 4m 51s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
January 9, 2024 09:45 4m 51s
Issue1130 Code style tests #1155: Pull request #203 synchronize by ClemensBuechner
January 9, 2024 09:43 4m 45s ClemensBuechner:issue1130
ClemensBuechner:issue1130
January 9, 2024 09:43 4m 45s
Enable more performance-related clang-tidy checks and fix code accordingly. Code style tests #1154: Pull request #202 synchronize by jendrikseipp
January 9, 2024 09:43 5m 40s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 9, 2024 09:43 5m 40s
Issue1111 Code style tests #1153: Pull request #205 opened by ClemensBuechner
January 9, 2024 09:42 5m 2s ClemensBuechner:issue1111
ClemensBuechner:issue1111
January 9, 2024 09:42 5m 2s
Enable more performance-related clang-tidy checks and fix code accordingly. Code style tests #1152: Pull request #202 synchronize by jendrikseipp
January 9, 2024 09:39 5m 38s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 9, 2024 09:39 5m 38s
[trivial] Work around failing Github actions. Code style tests #1151: Commit bd4deab pushed by ClemensBuechner
January 9, 2024 09:20 4m 56s main
main
January 9, 2024 09:20 4m 56s
Try workaround for failing Github actions. Code style tests #1150: Pull request #204 synchronize by ClemensBuechner
January 9, 2024 08:29 4m 46s ClemensBuechner:workaround-github-actions-chrono-error
ClemensBuechner:workaround-github-actions-chrono-error
January 9, 2024 08:29 4m 46s
Try workaround for failing Github actions. Code style tests #1149: Pull request #204 opened by ClemensBuechner
January 8, 2024 15:59 4m 58s ClemensBuechner:workaround-github-actions-chrono-error
ClemensBuechner:workaround-github-actions-chrono-error
January 8, 2024 15:59 4m 58s
Enable more performance-related clang-tidy checks and fix code accordingly. Code style tests #1148: Pull request #202 synchronize by jendrikseipp
January 8, 2024 12:16 5m 28s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 8, 2024 12:16 5m 28s
Issue1130 Code style tests #1147: Pull request #203 opened by ClemensBuechner
January 8, 2024 11:21 4m 40s ClemensBuechner:issue1130
ClemensBuechner:issue1130
January 8, 2024 11:21 4m 40s
[issue1115] Fix a bug in a state registry. Code style tests #1146: Commit c0ca355 pushed by silvansievers
January 8, 2024 11:12 4m 48s main
main
January 8, 2024 11:12 4m 48s
Issue1128 Code style tests #1145: Pull request #200 synchronize by ClemensBuechner
January 8, 2024 11:05 4m 45s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
January 8, 2024 11:05 4m 45s
Issue1128 Code style tests #1144: Pull request #200 synchronize by ClemensBuechner
January 8, 2024 10:44 4m 46s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
January 8, 2024 10:44 4m 46s
Enable more performance-related clang-tidy checks and fix code accordingly. Code style tests #1143: Pull request #202 opened by jendrikseipp
January 7, 2024 21:12 5m 43s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 7, 2024 21:12 5m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-01-07 or the other filters available.