CI: Allow PRs with empty progress reports to pass CI#678
Merged
JoshSanch merged 1 commit intobfbbdecomp:mainfrom Nov 29, 2025
Merged
CI: Allow PRs with empty progress reports to pass CI#678JoshSanch merged 1 commit intobfbbdecomp:mainfrom
JoshSanch merged 1 commit intobfbbdecomp:mainfrom