Test external projects

test: add halmos-cheatcodes example test #27

Sign in to view logs

Triggered via pull request July 21, 2023 01:23

daejunpark

opened #136

test/token

Status Success

Total duration 31m 5s

Artifacts –

test-external.yml

on: pull_request

Matrix: test