Skip to content

Schedule a list of automata efficiently #824

Schedule a list of automata efficiently

Schedule a list of automata efficiently #824

Triggered via pull request August 13, 2024 18:43
Status Success
Total duration 11m 27s
Artifacts

ci.yml

on: pull_request
Matrix: Nix Flake
Generate matrix from cabal
4s
Generate matrix from cabal
Run hlint
11s
Run hlint
Run fourmolu
6s
Run fourmolu
Check and format all cabal files
9s
Check and format all cabal files
Matrix: build-cabal
Successfully build and test on all systems
0s
Successfully build and test on all systems
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Run hlint: rhine/src/FRP/Rhine/Schedule/Internal.hs#L30
Suggestion in apInjs_NPNonEmpty in module FRP.Rhine.Schedule.Internal: Use camelCase ▫︎ Found: "apInjs_NPNonEmpty ::\n (SListI xs) => NP f (x ': xs) -> NonEmpty (NS f (x ': xs))" ▫︎ Perhaps: "apInjsNPNonEmpty ::\n (SListI xs) => NP f (x ': xs) -> NonEmpty (NS f (x ': xs))"
Run hlint: rhine/src/FRP/Rhine/Schedule/Internal.hs#L31
Suggestion in apInjs_NPNonEmpty in module FRP.Rhine.Schedule.Internal: Use camelCase ▫︎ Found: "apInjs_NPNonEmpty (fx :* fxs) = ..." ▫︎ Perhaps: "apInjsNPNonEmpty (fx :* fxs) = ..."