Skip to content

Merge pull request #16 from tchoutri/setup-rpm-package #137

Merge pull request #16 from tchoutri/setup-rpm-package

Merge pull request #16 from tchoutri/setup-rpm-package #137

Triggered via push July 4, 2024 09:11
Status Success
Total duration 18s
Artifacts

linting.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
hlint: app/Main.hs#L133
Suggestion in deploymentOsOption in module Main: Use lambda-case ▫︎ Found: "\\ string\n -> case string of\n \"all\" -> Just AllOS\n os -> Just $ OS (Text.pack os)" ▫︎ Perhaps: "\\case\n \"all\" -> Just AllOS\n os -> Just $ OS (Text.pack os)" ▫︎ Note: may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file
hlint: app/Main.hs#L140
Suggestion in deploymentArchOption in module Main: Use lambda-case ▫︎ Found: "\\ string\n -> case string of\n \"all\" -> Just AllArchs\n arch -> Just $ Arch (Text.pack arch)" ▫︎ Perhaps: "\\case\n \"all\" -> Just AllArchs\n arch -> Just $ Arch (Text.pack arch)" ▫︎ Note: may require `{-# LANGUAGE LambdaCase #-}` adding to the top of the file