Back to pull request #2969

Upgrade to 2024-01-08 rust toolchain #6019

Sign in to view logs

Triggered via pull request January 8, 2024 18:03

zhassan-aws

synchronize #2969

zhassan-aws:toolchain-2024-01-08

Status Success

Total duration 32m 30s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression