diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 9a4c078e..91956a5f 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -7,7 +7,7 @@ Checklist: The script runs virtually the following commands in a clean directory: - stack unpack $package-$version # $version is optional + stack unpack $package-$version # `-$version` is optional cd $package-$version - rm -f stack.yaml && stack init --resolver nightly + rm -f stack.yaml && stack init --resolver nightly --ignore-subdirs stack build --resolver nightly --haddock --test --bench --no-run-benchmarks diff --git a/verify-package b/verify-package index 4d3734c7..f559cec0 100755 --- a/verify-package +++ b/verify-package @@ -30,6 +30,7 @@ exit() { } trap exit EXIT +# When updating these commands, make sure to update .github/PULL_REQUEST_TEMPLATE.md as well. cd "$dir" stack unpack "$package" cd "$(ls | head -n 1)"