Skip to content

Fix Concretification/Unification Issue in app #251

Fix Concretification/Unification Issue in app

Fix Concretification/Unification Issue in app #251

Triggered via pull request November 25, 2025 00:12
Status Failure
Total duration 9m 31s
Artifacts

covenant.yml

on: pull_request
Check formatting with Ormolu
9s
Check formatting with Ormolu
Check with HLint
10s
Check with HLint
Generate matrix from cabal
4s
Generate matrix from cabal
Check Cabal file with cabal-gild
4m 12s
Check Cabal file with cabal-gild
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

20 errors
9.12.2 on ubuntu-latest
Process completed with exit code 1.
9.12.2 on ubuntu-latest: src/Covenant/Internal/Unification.hs#L36
The import of ‘Data.Foldable’ is redundant
9.12.2 on windows-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.12.2 on windows-latest
The operation was canceled.
9.10.3 on windows-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.10.3 on windows-latest
The operation was canceled.
9.8.4 on windows-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.8.4 on windows-latest
The operation was canceled.
9.10.3 on ubuntu-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.10.3 on ubuntu-latest
The operation was canceled.
9.10.3 on ubuntu-latest: src/Covenant/Internal/Unification.hs#L36
The import of ‘Data.Foldable’ is redundant
9.8.4 on ubuntu-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.8.4 on ubuntu-latest
The operation was canceled.
9.8.4 on ubuntu-latest: src/Covenant/Test.hs#L142
The import of ‘Ref’
9.12.2 on macos-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.12.2 on macos-latest
The operation was canceled.
9.8.4 on macos-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.8.4 on macos-latest
The operation was canceled.
9.10.3 on macos-latest
The strategy configuration was canceled because "tests._9_12_2_ubuntu-latest" failed
9.10.3 on macos-latest
The operation was canceled.