Skip to content

Add notice to README on main #138

Add notice to README on main

Add notice to README on main #138

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

test-action.yml

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