Skip to content
Build

Prefix progress updater with underscore for now #67

Sign in to view logs

Prefix progress updater with underscore for now

Prefix progress updater with underscore for now #67

Triggered via push October 14, 2024 15:19
@fwcdfwcd
pushed c83cd1b
main
Status Success
Total duration 17m 36s
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 (windows-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