Back to pull request #2978

Cargo update 2024-01-18 #6034

Sign in to view logs

Re-run triggered January 19, 2024 14:47

adpaco-aws

#2978

remi-delmas-3000:cargo-update-fix-2024-01-18

Status Success

Total duration 26m 29s

Artifacts –

kani.yml

on: pull_request

write-json-symtab-regression

benchcomp-tests

Matrix: regression