Skip to content
Brat CI

feat: Allow writing holes which are solved by BRAT #26

Sign in to view logs

feat: Allow writing holes which are solved by BRAT

feat: Allow writing holes which are solved by BRAT #26

Triggered via pull request November 28, 2024 09:34
@croyzorcroyzor
synchronize #59
holes
Status Success
Total duration 25s
Artifacts –

hlint.yaml

on: pull_request
hlint
14s
hlint
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
hlint: brat/Brat/Checker/Helpers.hs#L253
Suggestion in getThunks in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(src, (ss :->> ts))" ▫︎ Perhaps: "(src, ss :->> ts)"
hlint: brat/Brat/Checker/Helpers.hs#L260
Suggestion in getThunks in module Brat.Checker.Helpers: Redundant bracket ▫︎ Found: "(src, (ss :->> ts))" ▫︎ Perhaps: "(src, ss :->> ts)"