Skip to content

Change output-format to terse #29

Change output-format to terse

Change output-format to terse #29

Triggered via push September 6, 2024 19:12
Status Failure
Total duration 3m 8s
Artifacts

kani.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build (macos-latest)
Process completed with exit code 1.
build (ubuntu-latest)
The job was canceled because "macos-latest" failed.
build (ubuntu-latest)
The operation was canceled.