Skip to content
Kani

use markdown format; move to separate job #81

Sign in to view logs

use markdown format; move to separate job

use markdown format; move to separate job #81

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Kani List
7m 54s
Verify std library (ubuntu-latest)
2h 16m 19s
Verify std library (macos-latest)
2h 7m 45s
4h 31m 58s