Skip to content
CI

Fix plugin arguments to Dafny server (#450) #1287

Sign in to view logs

Fix plugin arguments to Dafny server (#450)

Fix plugin arguments to Dafny server (#450) #1287

Triggered via push November 24, 2023 09:51
@keyboardDrummerkeyboardDrummer
pushed a496a68
master
Status Failure
Total duration 28s
Artifacts –

ci.yaml

on: push
build
17s
build
release-github
0s
release-github
release-marketplace
0s
release-marketplace
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
build
Process completed with exit code 1.
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
build: src/language/dafnyLanguageClient.ts#L99
Unexpected space(s) after "if"
build: src/language/dafnyLanguageClient.ts#L111
Unexpected space(s) after "if"