summaryrefslogtreecommitdiff
path: root/erebos-tester.yaml
diff options
context:
space:
mode:
Diffstat (limited to 'erebos-tester.yaml')
-rw-r--r--erebos-tester.yaml1
1 files changed, 1 insertions, 0 deletions
diff --git a/erebos-tester.yaml b/erebos-tester.yaml
index c8239df..ceaacb5 100644
--- a/erebos-tester.yaml
+++ b/erebos-tester.yaml
@@ -1 +1,2 @@
tests: test/**/*.et
+exclude: HsToDo