Skip to content

chore(Java): polish examples #3618

chore(Java): polish examples

chore(Java): polish examples #3618

Annotations

1 warning

getVersion  /  getDafnyVersion

succeeded Dec 17, 2024 in 8s. View latest attempt.
Set up job
1s
Build christian-draeger/read-properties@1.1.1
5s
Run actions/checkout@v4
1s
Read version from Properties-file
0s
Post Run actions/checkout@v4
0s
Complete job
0s