Skip to content
.github/workflows/ci.yml

depend on sel 0.4.0 #523

Sign in to view logs

depend on sel 0.4.0

depend on sel 0.4.0 #523

Triggered via pull request July 4, 2023 14:36
@garesgares
synchronize #512
unvendor-sel
Status Success
Total duration 17m 22s
Artifacts –

ci.yml

on: pull_request
Matrix: build-extension
Matrix: dev-setup-opam
Matrix: install-opam
Matrix: nix-dev-build
Matrix: release-opam
Fit to window
Zoom out
Zoom in

Annotations

9 warnings
release-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L25
Object Literal Property name `vscoq.path` must match one of the following formats: camelCase
release-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L26
Object Literal Property name `vscoq.args` must match one of the following formats: camelCase
release-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L27
Object Literal Property name `vscoq.proof.mode` must match one of the following formats: camelCase
dev-setup-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L25
Object Literal Property name `vscoq.path` must match one of the following formats: camelCase
dev-setup-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L26
Object Literal Property name `vscoq.args` must match one of the following formats: camelCase
dev-setup-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L27
Object Literal Property name `vscoq.proof.mode` must match one of the following formats: camelCase
install-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L25
Object Literal Property name `vscoq.path` must match one of the following formats: camelCase
install-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L26
Object Literal Property name `vscoq.args` must match one of the following formats: camelCase
install-opam (ubuntu-latest, 4.14.x): client/src/test/runTest.ts#L27
Object Literal Property name `vscoq.proof.mode` must match one of the following formats: camelCase