Skip to content

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

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

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

Triggered via pull request February 6, 2025 21:58
Status Success
Total duration 9m 46s
Artifacts

test_security.yml

on: pull_request
Get-CI-Image-Tag  /  Get-CI-Image-Tag
5s
Get-CI-Image-Tag / Get-CI-Image-Tag
Matrix: Run Security Integration Tests on Linux
Fit to window
Zoom out
Zoom in