diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-07-20 04:35:37 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-20 04:35:37 +0200 |
| commit | 667bfd30bd809146327e020f583362f765d15f46 (patch) | |
| tree | 8a99a5dae41a743b883a112d57b28e88ab91a8ba /.github | |
| parent | 66ae31e99e31c86172bcc31e36d4f9441fde8634 (diff) | |
| parent | 7faf8c9dad5a88c38f7fa3633f8a1b286ac570c3 (diff) | |
Merge pull request #87 from anka-213/make-it-fast
Remove the `Either Int` from value2term
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build-all-versions.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/build-all-versions.yml b/.github/workflows/build-all-versions.yml index fca637189..f4ba6a2f1 100644 --- a/.github/workflows/build-all-versions.yml +++ b/.github/workflows/build-all-versions.yml @@ -14,7 +14,7 @@ jobs: strategy: matrix: os: [ubuntu-latest, macos-latest, windows-latest] - cabal: ["3.2"] + cabal: ["latest"] ghc: - "8.6.5" - "8.8.3" @@ -65,7 +65,7 @@ jobs: runs-on: ubuntu-latest strategy: matrix: - stack: ["2.3.3"] + stack: ["latest"] ghc: ["7.10.3","8.0.2", "8.2.2", "8.4.4", "8.6.5", "8.8.4"] # ghc: ["8.8.3"] |