Skip to content

Add notice to README on main #137

Add notice to README on main

Add notice to README on main #137

Triggered via pull request September 27, 2023 22:18
Status Success
Total duration 1m 25s
Artifacts

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
1m 12s
Ensure that the Kani action continues to work
Fit to window
Zoom out
Zoom in