Skip to content
verus

Go back to the new verusfmt branch for now, pending a new release. #217

Sign in to view logs

Go back to the new verusfmt branch for now, pending a new release.

Go back to the new verusfmt branch for now, pending a new release. #217

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
6m 32s
6m 32s