Kani Extra

Automatic toolchain upgrade to nightly-2024-11-12 #2630

Sign in to view logs

Triggered via pull request November 13, 2024 19:19

qinheping

reopened #3713

Status Success

Total duration 1h 8m 30s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp