Skip to content

Actions: benedikt-schesch/AST-Merging-Evaluation

Actions

Check style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-style.yml
1,682 workflow runs
1,682 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reinstate output Check style #2426: Commit 2c06794 pushed by mernst
October 31, 2023 23:13 3m 58s no-pr-merges
no-pr-merges
October 31, 2023 23:13 3m 58s
Focused diagnostics Check style #2425: Commit 80adb14 pushed by mernst
October 31, 2023 23:11 4m 40s no-pr-merges
no-pr-merges
October 31, 2023 23:11 4m 40s
Merge ../AST-Merging-Evaluation into no-pr-merges Check style #2424: Commit c8f38f7 pushed by mernst
October 31, 2023 22:35 6m 13s no-pr-merges
no-pr-merges
October 31, 2023 22:35 6m 13s
Update goals Check style #2423: Commit 8a67eb9 pushed by mernst
October 31, 2023 16:39 5m 5s pr-merges
pr-merges
October 31, 2023 16:39 5m 5s
Merge branch 'pr-merges' of github.com:benedikt-schesch/AST-Merging-E… Check style #2422: Commit a9b037a pushed by mernst
October 31, 2023 14:44 5m 42s pr-merges
pr-merges
October 31, 2023 14:44 5m 42s
Turn off debugging (#244) Check style #2421: Commit 213f818 pushed by benedikt-schesch
October 31, 2023 03:01 5m 38s main
main
October 31, 2023 03:01 5m 38s
Use deterministic workdir ids (#243) Check style #2420: Commit 04ee2b5 pushed by benedikt-schesch
October 31, 2023 03:01 5m 29s main
main
October 31, 2023 03:01 5m 29s
Merge ../AST-Merging-Evaluation-branch-workdir-id into pr-merges Check style #2419: Commit 653af6b pushed by mernst
October 31, 2023 02:19 4m 14s pr-merges
pr-merges
October 31, 2023 02:19 4m 14s
Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges Check style #2418: Commit e4302c8 pushed by mernst
October 31, 2023 02:19 5m 45s no-pr-merges
no-pr-merges
October 31, 2023 02:19 5m 45s
Use deterministic workdir ids Check style #2417: Pull request #243 synchronize by mernst
October 31, 2023 02:19 5m 2s workdir-id
workdir-id
October 31, 2023 02:19 5m 2s
Uniquification Check style #2416: Commit daeeffb pushed by mernst
October 31, 2023 02:19 5m 59s workdir-id
workdir-id
October 31, 2023 02:19 5m 59s
Use deterministic workdir ids Check style #2415: Pull request #243 synchronize by mernst
October 31, 2023 02:12 4m 16s workdir-id
workdir-id
October 31, 2023 02:12 4m 16s
Merge ../AST-Merging-Evaluation-branch-resolve-adjacent-conflicts-no-… Check style #2414: Commit e17b55d pushed by mernst
October 31, 2023 02:12 5m 12s workdir-id
workdir-id
October 31, 2023 02:12 5m 12s
Improve workdir id Check style #2413: Commit c872f60 pushed by mernst
October 31, 2023 02:12 4m 49s pr-merges
pr-merges
October 31, 2023 02:12 4m 49s
Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges Check style #2412: Commit 18f433c pushed by mernst
October 31, 2023 02:12 5m 43s no-pr-merges
no-pr-merges
October 31, 2023 02:12 5m 43s
Turn off debugging Check style #2411: Pull request #244 opened by mernst
October 31, 2023 02:05 5m 31s resolve-adjacent-conflicts-no-debug
resolve-adjacent-conflicts-no-debug
October 31, 2023 02:05 5m 31s
Turn off debugging Check style #2410: Commit c866d5b pushed by mernst
October 31, 2023 02:04 4m 9s resolve-adjacent-conflicts-no-debug
resolve-adjacent-conflicts-no-debug
October 31, 2023 02:04 4m 9s
More uniquification Check style #2409: Commit eab9f62 pushed by mernst
October 31, 2023 01:43 4m 39s workdir-id
workdir-id
October 31, 2023 01:43 4m 39s
Fix diff command (#242) Check style #2408: Commit 46288dc pushed by benedikt-schesch
October 31, 2023 01:28 4m 21s main
main
October 31, 2023 01:28 4m 21s
Fix spacing in merge_analyzer.py output (#240) Check style #2407: Commit c54a2ad pushed by benedikt-schesch
October 31, 2023 01:27 5m 27s main
main
October 31, 2023 01:27 5m 27s
Better diagnostic output (#239) Check style #2406: Commit e659431 pushed by benedikt-schesch
October 31, 2023 01:27 4m 31s main
main
October 31, 2023 01:27 4m 31s
Bug Fixes (#238) Check style #2405: Commit 4ec6521 pushed by benedikt-schesch
October 31, 2023 01:27 4m 11s main
main
October 31, 2023 01:27 4m 11s
Use deterministic workdir ids Check style #2404: Pull request #243 synchronize by mernst
October 31, 2023 01:26 4m 17s workdir-id
workdir-id
October 31, 2023 01:26 4m 17s
Make workdir ids unique Check style #2403: Commit a8cbded pushed by mernst
October 31, 2023 01:26 4m 24s workdir-id
workdir-id
October 31, 2023 01:26 4m 24s
Use deterministic workdir ids Check style #2402: Pull request #243 opened by mernst
October 31, 2023 01:13 6m 1s workdir-id
workdir-id
October 31, 2023 01:13 6m 1s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.