Skip to content
CI

feat: update deps, add idris2-lsp.metavars command to show menu to ju… #1

Sign in to view logs

feat: update deps, add idris2-lsp.metavars command to show menu to ju…

feat: update deps, add idris2-lsp.metavars command to show menu to ju… #1

Triggered via push November 2, 2024 07:31
@srghmasrghma
pushed 94a49b7
main
Status Failure
Total duration 26s
Artifacts –

ci.yml

on: push
build
16s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 1.