update gen-workflows

rudymatela · Aug 29, 2024 · e9b8b31 · e9b8b31
1 parent 81b9fb4
commit e9b8b31
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/bin/gen-workflows b/bin/gen-workflows
@@ -24,8 +24,9 @@ grep -B999 '^        ghc:$' .github/workflows/build.yml
 cat $cabal |
 grep "GHC==" |
 sed -e "s/.*GHC==/          - '/;s/$/'/" |
-grep -v '7.[468]'
+# grep -v '8.[642]' |
+grep -v '7\.[02468]'
 
-grep -A999 "^          - '7.10'$" .github/workflows/build.yml |
+grep -A999 "^          - '8.8'$" .github/workflows/build.yml |
 tail -n +2 |
 filter