Skip to content
formal verification

Update README.md - solved the "already initialized repo" error. #4953

Sign in to view logs

Update README.md - solved the "already initialized repo" error.

Update README.md - solved the "already initialized repo" error. #4953

Triggered via pull request October 4, 2024 08:47
@johnfawolejohnfawole
opened #5238
johnfawole:patch-1
Status Success
Total duration 58s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
46s
halmos
Fit to window
Zoom out
Zoom in