Skip to content
Build

Display initialization progress and index asynchronously #61

Sign in to view logs

Display initialization progress and index asynchronously

Display initialization progress and index asynchronously #61

Triggered via pull request October 14, 2024 01:30
@fwcdfwcd
synchronize #24
init-progress
Status Success
Total duration 15m 25s
Artifacts –

build.yml

on: pull_request
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