Skip to content

coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #92620

coqPackages.coq-lsp: 0.2.0 -> 0.2.2

coqPackages.coq-lsp: 0.2.0 -> 0.2.2 #92620

Triggered via pull request October 4, 2024 22:38
@AlizterAlizter
opened #346538
Status Success
Total duration 55s
Artifacts

check-nix-format.yml

on: pull_request_target
nixfmt-check
45s
nixfmt-check
Fit to window
Zoom out
Zoom in