Add script to automate build & running kani #222

Sign in to view logs

Triggered via pull request September 10, 2024 14:48

synchronize #78

jaisnan:add-script-to-automate-build

Status Failure

Total duration 24s

Artifacts –

kani.yml

on: pull_request

Matrix: build

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.