Kani Action Check

Add notice to README on main #141

Sign in to view logs

Triggered via pull request September 28, 2023 15:12

jaisnan

synchronize #50

jaisnan:Add-notice-to-readme-main

Status Success

Total duration 1m 7s

Artifacts –

test-action.yml

on: pull_request

Ensure that the Kani action continues to work