Skip to content
CI

Package vscoq-language-server.1.9.3+coq8.18 #35

Sign in to view logs

Package vscoq-language-server.1.9.3+coq8.18

Package vscoq-language-server.1.9.3+coq8.18 #35

Triggered via pull request August 28, 2023 06:24
@vscoqbotvscoqbot
opened #2690
vscoqbot:opam-publish-vscoq-language-server.1.9.3-coq8.18
Status Success
Total duration 3m 2s
Artifacts –

ci.yml

on: pull_request
build
2m 53s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in