Skip to content

Handle a missing -P/--preinclude file the same as an INCLUDE #2443

Handle a missing -P/--preinclude file the same as an INCLUDE

Handle a missing -P/--preinclude file the same as an INCLUDE #2443

Triggered via pull request December 8, 2025 19:11
Status Success
Total duration 7s
Artifacts

checkdiff.yml

on: pull_request
checkdiff
3s
checkdiff
Fit to window
Zoom out
Zoom in