Skip to content
main

fix: bump ghc version on CI #249

Sign in to view logs

fix: bump ghc version on CI

fix: bump ghc version on CI #249

Triggered via push December 10, 2024 08:24
@stevanastevana
pushed ca63726
main
Status Success
Total duration 12m 44s
Artifacts –

main.yaml

on: push
Matrix: build
Create release
0s
Create release
Smoke test container image
0s
Smoke test container image
Matrix: smoke-test
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L16
Missing role annotation: type role Form representational
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L60
Top-level binding with no type signature: t0 :: Bool
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L60
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L64
Top-level binding with no type signature: t1 :: Bool
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L64
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L69
Top-level binding with no type signature: t2 :: Bool
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L69
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L74
Top-level binding with no type signature: t3 :: Bool
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L95
Top-level binding with no type signature: t4 :: Bool
Build on macos-15 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L115
Top-level binding with no type signature: unit_elevator :: Bool
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L16
Missing role annotation: type role Form representational
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L60
Top-level binding with no type signature: t0 :: Bool
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L60
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L64
Top-level binding with no type signature: t1 :: Bool
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L64
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L69
Top-level binding with no type signature: t2 :: Bool
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L69
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L74
Top-level binding with no type signature: t3 :: Bool
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L95
Top-level binding with no type signature: t4 :: Bool
Build on windows-2022 using GHC 9.8.4: src/Spex/Experiment/LinearTemporalLogic.hs#L115
Top-level binding with no type signature: unit_elevator :: Bool