Skip to content
Kani Extra

Kani Extra #4736

Sign in to view logs

Kani Extra

Kani Extra #4736

Triggered via merge group December 1, 2025 15:12
@tautschnigtautschnig
⁠ 11ff4db
Status Success
Total duration 10s
Artifacts –

extra_jobs.yml

on: merge_group
Auto Label
5s
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