Skip to content
BWC

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

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) #1259

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

test_bwc.yml

on: push
Matrix: Test Flow Framework BWC
Fit to window
Zoom out
Zoom in