bug: fix and repro for issue-4236 (bad renaming of or-patterns) (#4…
#841
| Job | Run time |
|---|---|
| 4s | |
| 2m 14s | |
| 3m 58s | |
| 0s | |
| 6m 16s |
or-patterns) (#4…
#841
| Job | Run time |
|---|---|
| 4s | |
| 2m 14s | |
| 3m 58s | |
| 0s | |
| 6m 16s |