Skip to content

Merge branch 'main' into add-script-to-automate-build #34

Merge branch 'main' into add-script-to-automate-build

Merge branch 'main' into add-script-to-automate-build #34

Triggered via push September 10, 2024 14:48
Status Failure
Total duration 22s
Artifacts

kani.yml

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

Annotations

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