Skip to content
Test Latest Released MPL Java with DB-ESDK HEAD

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

Sign in to view logs

Test Latest Released MPL Java with DB-ESDK HEAD

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

Manually triggered April 1, 2025 20:30
@josecorellajosecorella
⁠ 63c2f3a
jocorell/pin-to-latest-tag
Status Success
Total duration 15m 10s
Artifacts –

ci_test_latest_released_mpl_java.yml

on: workflow_dispatch
getVersion  /  getDafnyVersion
9s
getVersion / getDafnyVersion
getMplDependencyJavaVersion  /  getMplDependencyJavaVersion
7s
getMplDependencyJavaVersion / getMplDependencyJavaVersion
getVerifyVersion  /  getDafnyVerifyVersion
10s
getVerifyVersion / getDafnyVerifyVersion
Matrix: testJava
Fit to window
Zoom out
Zoom in