Skip to content
pre-commit

chore: update halmos.toml example + add missing tests #164

Sign in to view logs

chore: update halmos.toml example + add missing tests

chore: update halmos.toml example + add missing tests #164

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pre-commit
17s
17s