formal verification

Update dependency halmos to v0.2.1 #5283

Sign in to view logs

Triggered via pull request November 14, 2024 04:54

opened #5296

renovate/halmos-0.x

Status Success

Total duration 1m 29s

Artifacts –

formal-verification.yml

on: pull_request