Skip to content

Add a CI check for missing prereq.sh scripts

Closes #871 (closed)

Edited by Mark Andrews

Merge request reports