Kani Format Check

Merge branch 'main' of https://github.com/model-checking/kani into fe… #1

Sign in to view logs

Triggered via push July 29, 2024 17:30

jaisnan

features/verifuy-07-21

Status Success

Total duration 2m 21s

Artifacts –

format-check.yml

on: push