Skip to content

fix(corpus): keep gnatmake source and -o before -cargs - #2

Merged
gmh5225 merged 1 commit into
mainfrom
feat/fix-gnatmake-cargs
Aug 15, 2026
Merged

fix(corpus): keep gnatmake source and -o before -cargs#2
gmh5225 merged 1 commit into
mainfrom
feat/fix-gnatmake-cargs

fix(corpus): keep gnatmake source and -o before -cargs

41cd010
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar