Remove strict-checked-vars

IntersectMBO · Nov 2, 2024 · 2c52a2c · 2c52a2c
1 parent 3f7935e
commit 2c52a2c
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 1,614 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -159,9 +159,6 @@ jobs:
         MSYSTEM: MINGW64
       run: cabal test all --enable-tests --test-show-details=direct -j1
 
-    - name: Build strict-checked-vars with invariants
-      run: cabal build -f+checktvarinvariants -f+checkmvarinvariants strict-checked-vars
-
     - name: Save logs
       uses: actions/upload-artifact@v4
       with:

diff --git a/CODEOWNERS b/CODEOWNERS
@@ -21,5 +21,3 @@ orphans-deriving-via @nfrisby @lehins
 measures             @nfrisby @lehins
 
 cardano-git-rev @erikd @lehins
-
-strict-checked-vars @jorisdral @coot @lehins
diff --git a/cabal.project b/cabal.project
@@ -28,7 +28,6 @@ packages:
   heapwords
   measures
   orphans-deriving-via
-  strict-checked-vars
 
 -- Ensures colourized output from test runners
 test-show-details: direct

diff --git a/strict-checked-vars/CHANGELOG.md b/strict-checked-vars/CHANGELOG.md
diff --git a/strict-checked-vars/LICENSE b/strict-checked-vars/LICENSE
diff --git a/strict-checked-vars/NOTICE b/strict-checked-vars/NOTICE
diff --git a/strict-checked-vars/README.md b/strict-checked-vars/README.md