chore(GHA): Run Java CI testing for MPL Latest Release #3
RitvikKapilaci_test_latest_released_mpl_java.yml
on: pull_request
getVersion
/
getDafnyVersion
5s
getVerifyVersion
/
getDafnyVerifyVersion
9s
Matrix: testJava
Annotations
1 error
|
testJava (8, macos-13)
Process completed with exit code 2.
|