Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.1 #985

Merged
merged 1 commit into from
Jan 16, 2025

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.1

6d96cbf
Select commit
Loading
Failed to load commit list.
Merged

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.1 #985

fix(deps): update dependency org.dafny:dafnyruntime to v4.9.1
6d96cbf
Select commit
Loading
Failed to load commit list.
Mend for GitHub.com / Mend Security Check succeeded Jan 16, 2025 in 5m 11s

Security Report

The Security Check did not find any new vulnerabilities in this branch.

Base branch total remaining vulnerabilities: 0
Base branch commit: f442c19c077119fafe35c9e60660d025cb9385e9


Total libraries scanned: 149

Scan token: c027e7a24d184193b76af6fe6390b64e

View more details on Mend for GitHub.com