Test Latest Released MPL Java with DB-ESDK HEAD

Test Latest Released MPL Java with DB-ESDK HEAD #162

Sign in to view logs

Triggered via schedule August 26, 2025 16:04

main

Status Failure

Total duration 6m 36s

Artifacts –

ci_test_latest_released_mpl_java.yml

on: schedule

getVersion / getDafnyVersion

getMplDependencyJavaVersion / getMplDependencyJavaVersion

getVerifyVersion / getDafnyVerifyVersion

Matrix: testJava

Annotations

1 error and 1 warning

testJava (17, ubuntu-22.04)

Process completed with exit code 2.

testJava (17, ubuntu-22.04)

The `python-version` input is not set. The version of Python currently in `PATH` will be used.