Skip to content
BWC

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #1142

Sign in to view logs

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to…

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to… #1142

Triggered via push October 7, 2024 19:05
@dbwiddisdbwiddis
pushed e7ed46e
2.x
Status Success
Total duration 5m 20s
Artifacts –

test_bwc.yml

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