Upgrade toolchain to 2024-02-14 #6152
Triggered via pull request
February 20, 2024 17:26
zhassan-aws
Status
Success
Total duration
38m 29s
Artifacts
–
kani.yml
on: pull_request
write-json-symtab-regression
11m 45s
benchcomp-tests
3m 52s
perf
38m 20s
bookrunner
13m 51s
Matrix: regression