Back to pull request #2913

Update the rust toolchain to nightly-2023-12-03 #5853

Sign in to view logs

Re-run triggered December 8, 2023 07:18

celinval

#2913

tautschnig:toolchain-2023-12-03-manual

Status Success

Total duration 32m 49s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression