Nix CI for bundle master

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

Sign in to view logs

Summary
Jobs
- coq
- coq-shell
Run details
- Usage
- Workflow file

Triggered via pull request October 7, 2024 09:51

Alizter

synchronize #271

Status Success

Total duration 7m 45s

Artifacts –

nix-action-master.yml

on: pull_request_target