Skip to content

fix: improve golang externs #3607

fix: improve golang externs

fix: improve golang externs #3607

Annotations

1 warning

getVerifyVersion  /  getDafnyVerifyVersion

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