chore: update halmos.toml example + add missing tests #1008
Triggered via pull request
September 24, 2024 03:21
daejunpark
Status
Success
Total duration
8m 28s
Artifacts
–