Skip to content

Add simple ensures, requires, predicates #12

Add simple ensures, requires, predicates

Add simple ensures, requires, predicates #12

Triggered via push June 11, 2024 21:36
Status Failure
Total duration 3m 24s
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.