Skip to content
BWC

fix(deps): update dependency org.dafny:dafnyruntime to v4.10.0 (#1053) #1587

Sign in to view logs

fix(deps): update dependency org.dafny:dafnyruntime to v4.10.0 (#1053)

fix(deps): update dependency org.dafny:dafnyruntime to v4.10.0 (#1053) #1587

Triggered via push February 6, 2025 21:58
@dbwiddisdbwiddis
pushed fab4286
main
Status Success
Total duration 3m 2s
Artifacts –

test_bwc.yml

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