BWC

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

Sign in to view logs

Re-run triggered November 7, 2024 08:54

dbwiddis

#949

whitesource-remediate/org.dafny-dafnyruntime-4.x

Status Success

Total duration 3m 17s

Artifacts –

test_bwc.yml

on: pull_request

Matrix: Test Flow Framework BWC