Skip to content
Kani Format Check

Update verify-std-check workflow to enable loop contracts (#3705) #8814

Sign in to view logs

Update verify-std-check workflow to enable loop contracts (#3705)

Update verify-std-check workflow to enable loop contracts (#3705) #8814

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
2m 16s
format-check
5s
2m 21s