Files
ere/.github/scripts/fetch-zkvm-version.sh