Skip to content
Kani Action Check

Add notice to README on main #140

Sign in to view logs

Add notice to README on main

Add notice to README on main #140

Triggered via pull request September 28, 2023 14:49
@jaisnanjaisnan
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
54s
Ensure that the Kani action continues to work
Fit to window
Zoom out
Zoom in