Skip to content

Actions: benedikt-schesch/AST-Merging-Evaluation

Actions

Small test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
small-test.yml
1,682 workflow runs
1,682 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reinstate output Small test #2375: Commit 2c06794 pushed by mernst
October 31, 2023 23:13 31m 3s no-pr-merges
no-pr-merges
October 31, 2023 23:13 31m 3s
Focused diagnostics Small test #2374: Commit 80adb14 pushed by mernst
October 31, 2023 23:11 30m 22s no-pr-merges
no-pr-merges
October 31, 2023 23:11 30m 22s
Merge ../AST-Merging-Evaluation into no-pr-merges Small test #2373: Commit c8f38f7 pushed by mernst
October 31, 2023 22:35 30m 20s no-pr-merges
no-pr-merges
October 31, 2023 22:35 30m 20s
Update goals Small test #2372: Commit 8a67eb9 pushed by mernst
October 31, 2023 16:39 42m 43s pr-merges
pr-merges
October 31, 2023 16:39 42m 43s
Merge branch 'pr-merges' of github.com:benedikt-schesch/AST-Merging-E… Small test #2371: Commit a9b037a pushed by mernst
October 31, 2023 14:44 49m 48s pr-merges
pr-merges
October 31, 2023 14:44 49m 48s
Turn off debugging (#244) Small test #2370: Commit 213f818 pushed by benedikt-schesch
October 31, 2023 03:01 29m 52s main
main
October 31, 2023 03:01 29m 52s
Use deterministic workdir ids (#243) Small test #2369: Commit 04ee2b5 pushed by benedikt-schesch
October 31, 2023 03:01 29m 59s main
main
October 31, 2023 03:01 29m 59s
Merge ../AST-Merging-Evaluation-branch-workdir-id into pr-merges Small test #2368: Commit 653af6b pushed by mernst
October 31, 2023 02:19 46m 35s pr-merges
pr-merges
October 31, 2023 02:19 46m 35s
Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges Small test #2367: Commit e4302c8 pushed by mernst
October 31, 2023 02:19 38m 11s no-pr-merges
no-pr-merges
October 31, 2023 02:19 38m 11s
Use deterministic workdir ids Small test #2366: Pull request #243 synchronize by mernst
October 31, 2023 02:19 30m 5s workdir-id
workdir-id
October 31, 2023 02:19 30m 5s
Uniquification Small test #2365: Commit daeeffb pushed by mernst
October 31, 2023 02:19 31m 26s workdir-id
workdir-id
October 31, 2023 02:19 31m 26s
Use deterministic workdir ids Small test #2364: Pull request #243 synchronize by mernst
October 31, 2023 02:12 6m 8s workdir-id
workdir-id
October 31, 2023 02:12 6m 8s
Merge ../AST-Merging-Evaluation-branch-resolve-adjacent-conflicts-no-… Small test #2363: Commit e17b55d pushed by mernst
October 31, 2023 02:12 7m 3s workdir-id
workdir-id
October 31, 2023 02:12 7m 3s
Improve workdir id Small test #2362: Commit c872f60 pushed by mernst
October 31, 2023 02:12 39m 46s pr-merges
pr-merges
October 31, 2023 02:12 39m 46s
Merge ../AST-Merging-Evaluation-branch-workdir-id into no-pr-merges Small test #2361: Commit 18f433c pushed by mernst
October 31, 2023 02:12 31m 30s no-pr-merges
no-pr-merges
October 31, 2023 02:12 31m 30s
Turn off debugging Small test #2360: Pull request #244 opened by mernst
October 31, 2023 02:05 29m 48s resolve-adjacent-conflicts-no-debug
resolve-adjacent-conflicts-no-debug
October 31, 2023 02:05 29m 48s
Turn off debugging Small test #2359: Commit c866d5b pushed by mernst
October 31, 2023 02:04 35m 53s resolve-adjacent-conflicts-no-debug
resolve-adjacent-conflicts-no-debug
October 31, 2023 02:04 35m 53s
More uniquification Small test #2358: Commit eab9f62 pushed by mernst
October 31, 2023 01:43 31m 21s workdir-id
workdir-id
October 31, 2023 01:43 31m 21s
Fix diff command (#242) Small test #2357: Commit 46288dc pushed by benedikt-schesch
October 31, 2023 01:28 35m 38s main
main
October 31, 2023 01:28 35m 38s
Fix spacing in merge_analyzer.py output (#240) Small test #2356: Commit c54a2ad pushed by benedikt-schesch
October 31, 2023 01:27 36m 39s main
main
October 31, 2023 01:27 36m 39s
Better diagnostic output (#239) Small test #2355: Commit e659431 pushed by benedikt-schesch
October 31, 2023 01:27 36m 17s main
main
October 31, 2023 01:27 36m 17s
Bug Fixes (#238) Small test #2354: Commit 4ec6521 pushed by benedikt-schesch
October 31, 2023 01:27 45m 23s main
main
October 31, 2023 01:27 45m 23s
Use deterministic workdir ids Small test #2353: Pull request #243 synchronize by mernst
October 31, 2023 01:26 28m 15s workdir-id
workdir-id
October 31, 2023 01:26 28m 15s
Make workdir ids unique Small test #2352: Commit a8cbded pushed by mernst
October 31, 2023 01:26 33m 0s workdir-id
workdir-id
October 31, 2023 01:26 33m 0s
Use deterministic workdir ids Small test #2351: Pull request #243 opened by mernst
October 31, 2023 01:13 33m 23s workdir-id
workdir-id
October 31, 2023 01:13 33m 23s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.