Skip to content
mypy type checking

Fix GRUB boot-directory path when ESP has custom mountpoint (#4701) #9518

Sign in to view logs

Fix GRUB boot-directory path when ESP has custom mountpoint (#4701)

Fix GRUB boot-directory path when ESP has custom mountpoint (#4701) #9518

This workflow is awaiting approval from a maintainer in #4731
Triggered via pull request August 26, 2026 17:42
@rssrcrrssrcr
opened #4731
rssrcr:fix/grub-install-path
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #4731

mypy.yaml

on: pull_request
mypy
mypy
Fit to window
Zoom out
Zoom in