Skip to content
Build

Migrate to record dot syntax #47

Sign in to view logs

Migrate to record dot syntax

Migrate to record dot syntax #47

Triggered via pull request July 27, 2024 02:35
@fwcdfwcd
synchronize #71
record-dot
Status Success
Total duration 13m 22s
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 (windows-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