Skip to content

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

coqPackages.coq-lsp: 0.2.0 -> 0.2.2

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

Triggered via pull request October 4, 2024 22:54
@AlizterAlizter
edited #346538
Status Success
Total duration 1m 2s
Artifacts

nixpkgs-vet.yml

on: pull_request_target
nixpkgs-vet
52s
nixpkgs-vet
Fit to window
Zoom out
Zoom in