Change settings

Release-Candidate · Apr 27, 2021 · 9e51705 · 9e51705
1 parent 2dd6852
commit 9e51705
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 3 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -1,5 +1,4 @@
 {
-    "dotnet-test-explorer.autoWatch": true,
     "dotnet-test-explorer.runInParallel": true,
     "dotnet-test-explorer.testProjectPath": "tests/*/*.fsproj"
 }
diff --git a/codecov.yml b/codecov.yml
@@ -1,3 +1,3 @@
 ignore:
     - "./tests/"
-    - "**/*Generics*.fs"
+    - "Generics.fs"
diff --git a/tests/TestTzolkin/TestTzolkinGlyph.fs b/tests/TestTzolkin/TestTzolkinGlyph.fs
@@ -10,7 +10,6 @@ namespace TestTzolkin
 
 open Expecto
 open System
-open FsCheck
 open Swensen.Unquote
 
 open RC.Maya