Skip to content
Kani Extra

Kani Extra #4744

Sign in to view logs

Kani Extra

Kani Extra #4744

Triggered via merge group December 8, 2025 17:43
@zhassan-awszhassan-aws
⁠ 6b4637f
Status Success
Total duration 25s
Artifacts –

extra_jobs.yml

on: merge_group
Auto Label
6s
Auto Label
Compiler Benchmarks  /  compile-timer-long
Compiler Benchmarks / compile-timer-long
Compiler Benchmarks  /  compile-timer-short
Compiler Benchmarks / compile-timer-short
End-to-End Benchmarks  /  perf-benchcomp
End-to-End Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Auto Label
Could not get pull request number(s), exiting