Name		Name	Last commit message	Last commit date
parent directory ..
README.md		README.md
generate_inputs.py		generate_inputs.py
replace.sed		replace.sed
replace_inputs.sh		replace_inputs.sh

README.md

.github/scripts

Contains scripts used for CI and local dev