Skip to content
Kani Performance Benchmarks

Re-enabled hierarchical logs in the compiler (#3449) #555

Sign in to view logs

Re-enabled hierarchical logs in the compiler (#3449)

Re-enabled hierarchical logs in the compiler (#3449) #555

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
54m 2s
54m 2s