Add Halmos support #6485

Sign in to view logs

Triggered via pull request May 14, 2024 01:15

ernestognw

synchronize #5034

ernestognw:chore/use-halmos

Status Success

Total duration 10m 25s

Artifacts –

checks.yml

on: pull_request

tests-upgradeable