formal verification

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

Sign in to view logs

Triggered via pull request October 4, 2024 14:28

Amxx

labeled #5238

johnfawole:patch-1

Status Success

Total duration 1m 7s

Artifacts –

formal-verification.yml

on: pull_request