Skip to content

chore(GHA): Run Java CI testing for MPL Latest Release #4

chore(GHA): Run Java CI testing for MPL Latest Release

chore(GHA): Run Java CI testing for MPL Latest Release #4

Triggered via pull request January 30, 2025 21:56
Status Failure
Total duration 14m 52s
Artifacts
getVersion  /  getDafnyVersion
10s
getVersion / getDafnyVersion
getVerifyVersion  /  getDafnyVerifyVersion
6s
getVerifyVersion / getDafnyVerifyVersion
Matrix: testJava
Fit to window
Zoom out
Zoom in

Annotations

1 error
testJava (8, macos-13)
Process completed with exit code 2.