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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
2m 53s
deploy
0s
2m 53s