Skip to content
Back to pull request #73

Migrate remaining types to record dot syntax #56

Sign in to view logs

Migrate remaining types to record dot syntax

Migrate remaining types to record dot syntax #56

Triggered via pull request August 6, 2024 15:02
@fwcdfwcd
opened #73
record-dot-part-2
Status Success
Total duration 12m 21s
Artifacts –

build.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build (ubuntu-latest): src/Curry/LanguageServer/Index/Store.hs#L276
The record update def
build (macos-latest): src/Curry/LanguageServer/Index/Store.hs#L276
The record update def
build (windows-latest): src/Curry/LanguageServer/Index/Store.hs#L276
The record update def