Skip to content

[BUG] Ensure github_emu_group_mapping behaves correctly if mapping changes upstream #685

[BUG] Ensure github_emu_group_mapping behaves correctly if mapping changes upstream

[BUG] Ensure github_emu_group_mapping behaves correctly if mapping changes upstream #685

Triggered via pull request February 3, 2026 16:43
Status Success
Total duration 1m 7s
Artifacts

ci.yaml

on: pull_request
Continuous Integration
1m 2s
Continuous Integration
Fit to window
Zoom out
Zoom in