Skip to content
Kani Format Check

Untested configuration options change (commit to get to server to test) #4

Sign in to view logs

Untested configuration options change (commit to get to server to test)

Untested configuration options change (commit to get to server to test) #4

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy-check
3m 0s
format-check
9s
3m 9s