compatiblity with GHC 9.12 and random-1.3

folivetti · Jan 12, 2025 · bd9827f · bd9827f
1 parent a2d9a07
commit bd9827f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -90,7 +90,7 @@ jobs:
           stack build srtree:egraphGP --copy-bins --local-bin-path=dist
           stack build srtree:egraphSearch --copy-bins --local-bin-path=dist
           stack build srtree:srtools --copy-bins --local-bin-path=dist
-          stack build srtree:rEGGression --copy-bins --local-bin-path=dist
+          stack build srtree:reggression --copy-bins --local-bin-path=dist
           stack build srtree:srsimplify --copy-bins --local-bin-path=dist
           mv dist/egraphGP.exe dist/egraphGP-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}.exe
           mv dist/egraphSearch.exe dist/egraphSearch-${{ steps.tag.outputs.tag }}-${{ runner.os }}-ghc-${{ matrix.ghc }}.exe