Skip to content

feat(idris2-lsp): add idris2-lsp support #845

feat(idris2-lsp): add idris2-lsp support

feat(idris2-lsp): add idris2-lsp support #845

This workflow is awaiting approval from a maintainer in #482
Triggered via pull request October 30, 2024 08:19
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #482

cbfmt.yml

on: pull_request
cbfmt
cbfmt
Fit to window
Zoom out
Zoom in