Skip to content

CI MPL HEAD

CI MPL HEAD #119

getVersion  /  getDafnyVersion

succeeded Nov 26, 2024 in 9s
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
0s