Skip to content
Build

Merge pull request #74 from fwcd/initialize-handling #65

Sign in to view logs

Merge pull request #74 from fwcd/initialize-handling

Merge pull request #74 from fwcd/initialize-handling #65

Triggered via push October 14, 2024 15:13
@fwcdfwcd
pushed a0b361e
main
Status Success
Total duration 17m 4s
Artifacts –

build.yml

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

Annotations

6 warnings
build (ubuntu-latest): src/Curry/LanguageServer/Index/Store.hs#L277
The record update def
build (ubuntu-latest): src/Curry/LanguageServer/Handlers/Initialize.hs#L20
Defined but not used: ‘updater’
build (macos-latest): src/Curry/LanguageServer/Index/Store.hs#L277
The record update def
build (macos-latest): src/Curry/LanguageServer/Handlers/Initialize.hs#L20
Defined but not used: ‘updater’
build (windows-latest): src/Curry/LanguageServer/Index/Store.hs#L277
The record update def
build (windows-latest): src/Curry/LanguageServer/Handlers/Initialize.hs#L20
Defined but not used: `updater'