Skip to content

feat: Add ShinKage/idris2-nvim #96

feat: Add ShinKage/idris2-nvim

feat: Add ShinKage/idris2-nvim #96

Triggered via pull request December 26, 2023 15:47
@jalil-salamejalil-salame
opened #90
Status Success
Total duration 44s
Artifacts

pr-update-changes.yaml

on: pull_request_target
Update plugins
33s
Update plugins
Fit to window
Zoom out
Zoom in