Skip to content

Actions: aibasel/downward

Actions

macOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac.yml
141 workflow run results
141 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Backport some small changes from Scorpion. macOS #1318: Pull request #207 synchronize by jendrikseipp
January 10, 2024 11:12 10m 46s jendrikseipp:backport-from-scorpion
jendrikseipp:backport-from-scorpion
January 10, 2024 11:12 10m 46s
Fix txt2tags markup. macOS #1317: Pull request #208 opened by jendrikseipp
January 9, 2024 13:59 9m 29s jendrikseipp:fix-markup
jendrikseipp:fix-markup
January 9, 2024 13:59 9m 29s
Backport some small changes from Scorpion. macOS #1316: Pull request #207 opened by jendrikseipp
January 9, 2024 13:44 9m 53s jendrikseipp:backport-from-scorpion
jendrikseipp:backport-from-scorpion
January 9, 2024 13:44 9m 53s
[trivial] Add clang-tidy test that was erroneously commented out and … macOS #1315: Commit a598ba4 pushed by jendrikseipp
January 9, 2024 13:42 9m 23s main
main
January 9, 2024 13:42 9m 23s
Add clang-tidy test that was erroneously commented out. macOS #1314: Pull request #206 opened by jendrikseipp
January 9, 2024 13:12 9m 57s jendrikseipp:small-clang-tidy-fixes
jendrikseipp:small-clang-tidy-fixes
January 9, 2024 13:12 9m 57s
[issue1129] Enable more performance-related clang-tidy checks and fix… macOS #1313: Commit 0ce8d67 pushed by jendrikseipp
January 9, 2024 11:04 9m 45s main
main
January 9, 2024 11:04 9m 45s
Issue1111 macOS #1312: Pull request #205 synchronize by ClemensBuechner
January 9, 2024 10:17 9m 37s ClemensBuechner:issue1111
ClemensBuechner:issue1111
January 9, 2024 10:17 9m 37s
Issue1128 macOS #1311: Pull request #200 synchronize by ClemensBuechner
January 9, 2024 09:45 18m 2s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
January 9, 2024 09:45 18m 2s
Issue1130 macOS #1310: Pull request #203 synchronize by ClemensBuechner
January 9, 2024 09:43 17m 3s ClemensBuechner:issue1130
ClemensBuechner:issue1130
January 9, 2024 09:43 17m 3s
Enable more performance-related clang-tidy checks and fix code accordingly. macOS #1309: Pull request #202 synchronize by jendrikseipp
January 9, 2024 09:43 14m 50s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 9, 2024 09:43 14m 50s
Issue1111 macOS #1308: Pull request #205 opened by ClemensBuechner
January 9, 2024 09:42 11m 36s ClemensBuechner:issue1111
ClemensBuechner:issue1111
January 9, 2024 09:42 11m 36s
Enable more performance-related clang-tidy checks and fix code accordingly. macOS #1307: Pull request #202 synchronize by jendrikseipp
January 9, 2024 09:39 1m 20s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 9, 2024 09:39 1m 20s
[trivial] Work around failing Github actions. macOS #1306: Commit bd4deab pushed by ClemensBuechner
January 9, 2024 09:20 9m 50s main
main
January 9, 2024 09:20 9m 50s
Try workaround for failing Github actions. macOS #1305: Pull request #204 synchronize by ClemensBuechner
January 9, 2024 08:29 9m 37s ClemensBuechner:workaround-github-actions-chrono-error
ClemensBuechner:workaround-github-actions-chrono-error
January 9, 2024 08:29 9m 37s
Try workaround for failing Github actions. macOS #1304: Pull request #204 opened by ClemensBuechner
January 8, 2024 15:59 10m 7s ClemensBuechner:workaround-github-actions-chrono-error
ClemensBuechner:workaround-github-actions-chrono-error
January 8, 2024 15:59 10m 7s
Enable more performance-related clang-tidy checks and fix code accordingly. macOS #1303: Pull request #202 synchronize by jendrikseipp
January 8, 2024 12:16 1m 7s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 8, 2024 12:16 1m 7s
Issue1130 macOS #1302: Pull request #203 opened by ClemensBuechner
January 8, 2024 11:21 10m 5s ClemensBuechner:issue1130
ClemensBuechner:issue1130
January 8, 2024 11:21 10m 5s
[issue1115] Fix a bug in a state registry. macOS #1301: Commit c0ca355 pushed by silvansievers
January 8, 2024 11:12 10m 15s main
main
January 8, 2024 11:12 10m 15s
Issue1128 macOS #1300: Pull request #200 synchronize by ClemensBuechner
January 8, 2024 11:05 9m 40s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
January 8, 2024 11:05 9m 40s
Issue1128 macOS #1299: Pull request #200 synchronize by ClemensBuechner
January 8, 2024 10:44 14m 12s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
January 8, 2024 10:44 14m 12s
Enable more performance-related clang-tidy checks and fix code accordingly. macOS #1298: Pull request #202 opened by jendrikseipp
January 7, 2024 21:12 9m 34s jendrikseipp:clang-tidy-checks
jendrikseipp:clang-tidy-checks
January 7, 2024 21:12 9m 34s
[trivial] Fix clang-tidy check. macOS #1297: Commit aefe96a pushed by jendrikseipp
January 7, 2024 19:34 9m 30s main
main
January 7, 2024 19:34 9m 30s
Fix clang-tidy check. macOS #1296: Pull request #201 opened by jendrikseipp
January 7, 2024 18:33 9m 32s jendrikseipp:clang-tidy
jendrikseipp:clang-tidy
January 7, 2024 18:33 9m 32s
Issue1128 macOS #1295: Pull request #200 synchronize by ClemensBuechner
December 19, 2023 17:38 18m 8s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
December 19, 2023 17:38 18m 8s
Issue1128 macOS #1294: Pull request #200 opened by ClemensBuechner
December 19, 2023 15:51 12m 4s ClemensBuechner:cegar-pdbs-all-goals
ClemensBuechner:cegar-pdbs-all-goals
December 19, 2023 15:51 12m 4s