Skip to content

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

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

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

Triggered via pull request January 30, 2025 21:11
Status Failure
Total duration 1m 17s
Artifacts
Matrix: testJava
Fit to window
Zoom out
Zoom in

Annotations

2 errors
testJava (8, macos-13)
Input required and not supplied: dafny-version
testJava (8, macos-13)
Process completed with exit code 1.