Skip to content

Readonly use DSum instead of NamedAlgo #246

Readonly use DSum instead of NamedAlgo

Readonly use DSum instead of NamedAlgo #246

Triggered via pull request November 1, 2024 16:49
Status Failure
Total duration 10m 2s
Artifacts

ci.yaml

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

Annotations

10 errors
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• Couldn't match expected type: dependent-sum-0.7.2.0:Data.Dependent.Sum.DSum
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• Couldn't match expected type: dependent-sum-0.7.2.0:Data.Dependent.Sum.DSum
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
• Couldn't match expected type: dependent-sum-0.7.2.0:Data.Dependent.Sum.DSum
GHC 9.8.2, Cabal 3.12, OS ubuntu-latest
Process completed with exit code 1.
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The job was canceled because "_3_12_9_8_2_ubuntu-latest" failed.
GHC 9.6.6, Cabal 3.12, OS ubuntu-latest
The operation was canceled.
GHC 9.8.2, Cabal 3.12, OS macos-latest
The job was canceled because "_3_12_9_8_2_ubuntu-latest" failed.
GHC 9.8.2, Cabal 3.12, OS macos-latest
The operation was canceled.
GHC 9.6.6, Cabal 3.12, OS macos-latest
The job was canceled because "_3_12_9_8_2_ubuntu-latest" failed.
GHC 9.6.6, Cabal 3.12, OS macos-latest
The operation was canceled.