Skip to content
CI

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

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… #3

Triggered via push November 2, 2024 07:33
@srghmasrghma
pushed 1e93392
main
Status Success
Total duration 23s
Artifacts –

ci.yml

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