Skip to content

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 #1260

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

[Backport 2.x] fix(deps): update dependency org.dafny:dafnyruntime to v4.9.0 #1260

Triggered via pull request November 7, 2024 18:36
Status Success
Total duration 7m 30s
Artifacts

test_bwc.yml

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