Merge pull request #2832 from david-christiansen/kill-derive-deceq-test
Disable the DecEq deriving test, due to slowness
commit289c5a4fd6c92123ec28196826948e82061886bc
authorDavid Christiansen <david@davidchristiansen.dk>
dateMon 30 Nov 2015, 23:21 (11 years ago)
parentd579d27ac06ebb
test/meta002/Deriving.idr+2
@@ -1,6 +1,8 @@
11||| Test some deriving features
22module Deriving
33
4+-- NB: test disabled due to excess memory consumption
5+
46import Pruviloj
57import Pruviloj.Derive.DecEq
68
test/meta002/run+2−1
@@ -1,5 +1,6 @@
11#!/usr/bin/env bash
22idris $@ -p pruviloj --nocolour --check --consolewidth 70 Tacs.idr
33idris $@ -p pruviloj --nocolour --check --consolewidth 70 AgdaStyleReflection.idr
4−idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr
4+# Disabled due to excess memory consumption
5+# idris $@ -p pruviloj --nocolour --check --consolewidth 70 Deriving.idr
56rm -f *.ibc