Skip to content

Merge branch '4.20' into 4.20-fix-debian-uefi #844

Merge branch '4.20' into 4.20-fix-debian-uefi

Merge branch '4.20' into 4.20-fix-debian-uefi #844

Triggered via push July 15, 2025 12:25
Status Skipped
Total duration 1s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in