Skip to content
Validate Gradle Wrapper

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 (#949) #2755

Sign in to view logs

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 (#949)

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 (#949) #2755

Triggered via push November 7, 2024 18:36
@amitgalitzamitgalitz
pushed ba4b589
main
Status Success
Total duration 17s
Artifacts –

wrapper.yml

on: push
Validate
4s
Validate
Fit to window
Zoom out
Zoom in