Skip to content
Deploy

Deploy #10

Sign in to view logs

Deploy

Deploy #10

Re-run triggered July 29, 2024 02:29
@fwcdfwcd
⁠ 47d20c7
v1.0.0.3
Status Success
Total duration 22m 17s
Artifacts –

deploy.yml

on: push
release
3s
release
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 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
build (macos-13): src/Curry/LanguageServer/Index/Store.hs#L276
The record update def