static analysis

chore: fix Dafny verification (#1627) #4135

Sign in to view logs

Summary
Jobs
- not-grep
Run details
- Usage
- Workflow file

Triggered via push February 5, 2025 20:51

main

Status Success

Total duration 21s

Artifacts –

ci_static_analysis.yml

on: push