Skip to content

Add -PgenTR=true to GitHub CI

f5d47b1
Select commit
Loading
Failed to load commit list.
Merged

Add -PgenTR=true to GitHub CI #13

Add -PgenTR=true to GitHub CI
f5d47b1
Select commit
Loading
Failed to load commit list.