From bd9827f74517be64d1c44d58abb56775f9cbba9c Mon Sep 17 00:00:00 2001 From: folivetti Date: Sun, 12 Jan 2025 11:22:13 -0300 Subject: [PATCH] compatiblity with GHC 9.12 and random-1.3 --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 000a7f5..59161a6 100644 --- 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