Skip to content

Making SN an arrow: Further ideas #456

Making SN an arrow: Further ideas

Making SN an arrow: Further ideas #456

Triggered via pull request November 29, 2023 13:51
Status Failure
Total duration 10m 33s
Artifacts

ci.yml

on: pull_request
Generate matrix from cabal
2s
Generate matrix from cabal
Run hlint
6s
Run hlint
Run fourmolu
5s
Run fourmolu
Matrix: Nix Flake
Matrix: build-cabal
Matrix: build-stack
Fit to window
Zoom out
Zoom in

Annotations

19 errors and 1 warning
Run fourmolu
fourmolu detected unformatted files
Haskell GHC 9.0.2 stack
Process completed with exit code 1.
Haskell GHC 9.4.4 stack
The job was canceled because "_9_0_2_ubuntu-latest" failed.
Haskell GHC 9.4.4 stack
The operation was canceled.
Haskell GHC 8.10.7 stack
The job was canceled because "_9_0_2_ubuntu-latest" failed.
Haskell GHC 8.10.7 stack
The operation was canceled.
Haskell GHC 9.2.5 stack
The job was canceled because "_9_0_2_ubuntu-latest" failed.
Haskell GHC 9.2.5 stack
The operation was canceled.
Nix Flake (ubuntu-latest)
Process completed with exit code 1.
Nix Flake (macos-latest)
The job was canceled because "ubuntu-latest" failed.
Nix Flake (macos-latest)
The operation was canceled.
Haskell GHC 9.4.4 cabal
• No explicit implementation for
Haskell GHC 9.4.4 cabal
Process completed with exit code 1.
Haskell GHC 9.0.2 cabal
The job was canceled because "_9_4_4_ubuntu-latest" failed.
Haskell GHC 9.0.2 cabal
The operation was canceled.
Haskell GHC 9.2.5 cabal
The job was canceled because "_9_4_4_ubuntu-latest" failed.
Haskell GHC 9.2.5 cabal
The operation was canceled.
Haskell GHC 8.10.7 cabal
The job was canceled because "_9_4_4_ubuntu-latest" failed.
Haskell GHC 8.10.7 cabal
The operation was canceled.
Run hlint: rhine-bayes/app/Main.hs#L419
Suggestion in mainRhineMultiRate in module Main: Redundant bracket ▫︎ Found: "glossClockUTC GlossEventClockIO\n :. (liftClock waitClock :: ModelClock)\n :. (liftClock Busy :: InferenceClock)\n :. (glossClockUTC GlossSimClockIO)" ▫︎ Perhaps: "glossClockUTC GlossEventClockIO\n :. (liftClock waitClock :: ModelClock)\n :. (liftClock Busy :: InferenceClock)\n :. glossClockUTC GlossSimClockIO"