From 45c6d5f4150341274a6e71febbd2e8967cde58fd Mon Sep 17 00:00:00 2001 From: David Himmelstrup Date: Wed, 9 Sep 2020 12:59:14 +0800 Subject: [PATCH] Discord-bot and playground aren't included in stackage. --- .github/workflows/stackage-nightly.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/stackage-nightly.yml b/.github/workflows/stackage-nightly.yml index 443acf6..c30e82f 100644 --- a/.github/workflows/stackage-nightly.yml +++ b/.github/workflows/stackage-nightly.yml @@ -34,5 +34,6 @@ jobs: - name: Test nightly run: | + rm -fr discord-bot playground rm -f stack.yaml && stack init --resolver nightly stack build --resolver nightly --haddock --test --bench --no-run-benchmarks