Skip to content
Kani Format Check

Refactoring contracts macro logic into separate modules (#2992) #5932

Sign in to view logs

Refactoring contracts macro logic into separate modules (#2992)

Refactoring contracts macro logic into separate modules (#2992) #5932

Run time

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