Skip to content
Back to pull request #75

Update frontend to add support for MPTC and functional dependencies #69

Sign in to view logs

Update frontend to add support for MPTC and functional dependencies

Update frontend to add support for MPTC and functional dependencies #69

Triggered via pull request November 14, 2024 03:15
@fwcdfwcd
synchronize #75
mptc
Status Success
Total duration 27m 44s
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