Skip to content

Fix the Skolem trick with GHC ≥ 9.4 #36

Fix the Skolem trick with GHC ≥ 9.4

Fix the Skolem trick with GHC ≥ 9.4 #36

Re-run triggered December 1, 2023 15:01
Status Success
Total duration 15m 20s
Artifacts

haskell.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

28 warnings
GHC 8.4.4 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.10.7 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.0.2 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.6.5 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.2.5 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.8.4 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.4.5 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.6.1 on ubuntu-latest: test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on ubuntu-latest: test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on ubuntu-latest: test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on ubuntu-latest: test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on ubuntu-latest: test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on ubuntu-latest: test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on ubuntu-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.4.4 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.10.7 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.6.5 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.2.5 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.0.2 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 8.8.4 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.4.5 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).
GHC 9.6.1 on macos-latest: test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on macos-latest: test/test.hs#L26
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on macos-latest: test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on macos-latest: test/test.hs#L39
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on macos-latest: test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on macos-latest: test/test.hs#L222
Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’
GHC 9.6.1 on macos-latest
As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).