[BUG] Ensure github_emu_group_mapping behaves correctly if mapping changes upstream
#561
| Job | Run time |
|---|---|
| 2m 20s | |
| 48s | |
| 3s | |
| 3m 11s |
github_emu_group_mapping behaves correctly if mapping changes upstream
#561
| Job | Run time |
|---|---|
| 2m 20s | |
| 48s | |
| 3s | |
| 3m 11s |