Skip to content
Build

Merge pull request #70 from fwcd/lts-22.30 #60

Sign in to view logs

Merge pull request #70 from fwcd/lts-22.30

Merge pull request #70 from fwcd/lts-22.30 #60

Triggered via push October 10, 2024 16:48
@fwcdfwcd
pushed cd9e80a
main
Status Success
Total duration 16m 13s
Artifacts –

build.yml

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

Annotations

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