Back to pull request #2976

Upgrade toolchain to nightly-2024-01-17 #6029

Sign in to view logs

Triggered via pull request January 18, 2024 04:10

celinval

opened #2976

celinval:toolchain-2024-01-17

Status Success

Total duration 43m 25s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression