Add MacOS to Kani workflow #7

Sign in to view logs

Triggered via push June 8, 2024 00:03

celinval

verify-0000-ci

Status Success

Total duration 6m 15s

Artifacts –

kani.yml

on: push

Matrix: build