ci: Speed up builds by not building coq-lsp.
#7
Triggered via pull request
February 18, 2024 02:02
kylechui
Status
Success
Total duration
13m 12s
Artifacts
–