Skip to content
Back to pull request #903

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

Sign in to view logs

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

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

Triggered via pull request October 7, 2024 17:22
@opensearch-trigger-botopensearch-trigger-bot[bot]
opened #903
backport/backport-901-to-2.x
Status Success
Total duration 20s
Artifacts –

wrapper.yml

on: pull_request
Validate
9s
Validate
Fit to window
Zoom out
Zoom in