From 93f2d1f238f45b8da1157949622779228fceb017 Mon Sep 17 00:00:00 2001 From: Adam Bergmark Date: Mon, 15 Mar 2021 23:41:27 +0100 Subject: [PATCH] Note that pull request template needs to be updated to match verify-package --- .github/PULL_REQUEST_TEMPLATE.md | 4 ++-- verify-package | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) 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)"