Upgrade to 2024-01-08 rust toolchain #6017
kani.yml
on: pull_request
write-json-symtab-regression
10m 54s
benchcomp-tests
3m 32s
perf
29m 8s
bookrunner
15m 41s
Matrix: regression
Annotations
1 error
regression (macos-12)
Process completed with exit code 1.
|