Skip to content

common/menu: add a hotkey for the UEFI Shell #3731

common/menu: add a hotkey for the UEFI Shell

common/menu: add a hotkey for the UEFI Shell #3731

Triggered via pull request May 3, 2026 18:30
Status Success
Total duration 2m 33s
Artifacts

check.yml

on: pull_request
Check for compilation failures
2m 30s
Check for compilation failures
Fit to window
Zoom out
Zoom in