Skip to content

Automatic toolchain upgrade to nightly-2024-01-18 #6038

Automatic toolchain upgrade to nightly-2024-01-18

Automatic toolchain upgrade to nightly-2024-01-18 #6038

Re-run triggered January 19, 2024 22:32
Status Failure
Total duration 10m 16s
Artifacts

kani.yml

on: pull_request
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

1 error
regression (macos-12)
Process completed with exit code 1.