Skip to content
Build

Merge pull request #72 from fwcd/refactor-bindist #51

Sign in to view logs

Merge pull request #72 from fwcd/refactor-bindist

Merge pull request #72 from fwcd/refactor-bindist #51

Triggered via push July 29, 2024 01:49
@fwcdfwcd
pushed 1568f09
main
Status Success
Total duration 12m 28s
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#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