Kani Extra

Upgrade toolchain to nightly-2024-11-11 #2626

Sign in to view logs

Triggered via pull request November 13, 2024 07:38

qinheping

synchronize #3710

Status Success

Total duration 1h 11m 47s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp