Skip to content

Adding Sets

Adding Sets #412

Triggered via pull request July 31, 2024 20:48
@NoahCardosoNoahCardoso
synchronize #3878
Set
Status Failure
Total duration 1m 11s
Artifacts

Lint.yaml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Linter
HLint failed with status: 1. Warning (1)
Linter: code/drasil-lang/lib/Language/Drasil.hs#L314
Warning in module Language.Drasil: Use fewer imports ▫︎ Found: "import Language.Drasil.ModelExpr.Lang ( ModelExpr, DerivType )\nimport Language.Drasil.ModelExpr.Lang ( ModelExpr(Spc) )\n" ▫︎ Perhaps: "import Language.Drasil.ModelExpr.Lang\n ( ModelExpr, DerivType, ModelExpr(Spc) )\n"