Skip to content
Build and Test

Update gradle wrapper to version 8.9 #19408

Sign in to view logs

Update gradle wrapper to version 8.9

Update gradle wrapper to version 8.9 #19408

Re-run triggered November 1, 2024 07:54
@alex-chewalex-chew
#5885
RustanLeino:update-gradle-wrapper
Status Failure
Total duration 6m 26s
Artifacts 7

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
singletons
3m 38s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
xunit-tests / win (1)
Process completed with exit code 1.
xunit-tests / win (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.