Test Latest Released MPL Java with DB-ESDK HEAD #81
RitvikKapilaci_test_latest_released_mpl_java.yml
on: schedule
getVersion
/
getDafnyVersion
11s
getMplDependencyJavaVersion
/
getMplDependencyJavaVersion
9s
getVerifyVersion
/
getDafnyVerifyVersion
21s
Matrix: testJava
Annotations
1 error and 2 warnings
|
testJava (17, ubuntu-22.04)
Process completed with exit code 2.
|
|
testJava (17, ubuntu-22.04)
Back off 17.289 seconds before retry.
|
|
testJava (17, ubuntu-22.04)
Failed to download action 'https://api.github.com/internal/immutable-actions/actions/setup-java/download/sha256:f19074bc6e03e0cc5389bc939c3f552c56f3dc75fb76d68353fa9344584fda1f?x-ghcr-actor-id=503473897&x-ghcr-actor-type=repository&x-ghcr-alg=hmac-sha256&x-ghcr-date=2025-05-05T16:04:41Z&x-ghcr-expires=10m0s&x-ghcr-host=ghcr.io&***
|