Skip to content
Kani Performance Benchmarks

Run benchcomp if PR is labeled 'Z-BenchCI' #38

Sign in to view logs

Run benchcomp if PR is labeled 'Z-BenchCI'

Run benchcomp if PR is labeled 'Z-BenchCI' #38

Run time

Learn about OS pricing on GitHub Actions
Job Run time
perf-benchcomp
4m 44s
4m 44s