Skip to content
Test

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

Sign in to view logs

chore: update halmos.toml example + add missing tests

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (macos-latest, 3.11, solidity)
1m 57s
test (macos-latest, 3.11, solidity, --cache-solver)
2m 13s
test (macos-latest, 3.11, generic)
1m 54s
test (macos-latest, 3.11, generic, --cache-solver)
2m 3s
test (macos-latest, 3.11, --test-parallel, solidity)
7m 28s
test (macos-latest, 3.11, --test-parallel, solidity, --cache-solver)
7m 22s
test (macos-latest, 3.11, --test-parallel, generic)
6m 4s
test (macos-latest, 3.11, --test-parallel, generic, --cache-solver)
7m 30s
test (macos-latest, 3.12, solidity)
2m 23s
test (macos-latest, 3.12, solidity, --cache-solver)
2m 2s
test (macos-latest, 3.12, generic)
3m 3s
test (macos-latest, 3.12, generic, --cache-solver)
2m 21s
test (macos-latest, 3.12, --test-parallel, solidity)
5m 32s
test (macos-latest, 3.12, --test-parallel, solidity, --cache-solver)
6m 2s
test (macos-latest, 3.12, --test-parallel, generic)
5m 12s
test (macos-latest, 3.12, --test-parallel, generic, --cache-solver)
4m 59s
test (ubuntu-latest, 3.11, solidity)
2m 23s
test (ubuntu-latest, 3.11, solidity, --cache-solver)
2m 46s
test (ubuntu-latest, 3.11, generic)
2m 45s
test (ubuntu-latest, 3.11, generic, --cache-solver)
2m 37s
test (ubuntu-latest, 3.11, --test-parallel, solidity)
5m 31s
test (ubuntu-latest, 3.11, --test-parallel, solidity, --cache-solver)
5m 34s
test (ubuntu-latest, 3.11, --test-parallel, generic)
5m 31s
test (ubuntu-latest, 3.11, --test-parallel, generic, --cache-solver)
5m 51s
test (ubuntu-latest, 3.12, solidity)
2m 40s
test (ubuntu-latest, 3.12, solidity, --cache-solver)
2m 33s
test (ubuntu-latest, 3.12, generic)
2m 48s
test (ubuntu-latest, 3.12, generic, --cache-solver)
3m 3s
test (ubuntu-latest, 3.12, --test-parallel, solidity)
5m 7s
test (ubuntu-latest, 3.12, --test-parallel, solidity, --cache-solver)
4m 44s
test (ubuntu-latest, 3.12, --test-parallel, generic)
5m 9s
test (ubuntu-latest, 3.12, --test-parallel, generic, --cache-solver)
5m 5s
test (windows-latest, 3.11, solidity)
3m 28s
test (windows-latest, 3.11, solidity, --cache-solver)
4m 3s
test (windows-latest, 3.11, generic)
3m 25s
test (windows-latest, 3.11, generic, --cache-solver)
3m 47s
test (windows-latest, 3.11, --test-parallel, solidity)
7m 29s
test (windows-latest, 3.11, --test-parallel, solidity, --cache-solver)
7m 50s
test (windows-latest, 3.11, --test-parallel, generic)
7m 39s
test (windows-latest, 3.11, --test-parallel, generic, --cache-solver)
8m 8s
test (windows-latest, 3.12, solidity)
3m 40s
test (windows-latest, 3.12, solidity, --cache-solver)
3m 24s
test (windows-latest, 3.12, generic)
3m 25s
test (windows-latest, 3.12, generic, --cache-solver)
3m 49s
test (windows-latest, 3.12, --test-parallel, solidity)
7m 18s
test (windows-latest, 3.12, --test-parallel, solidity, --cache-solver)
7m 46s
test (windows-latest, 3.12, --test-parallel, generic)
7m 10s
test (windows-latest, 3.12, --test-parallel, generic, --cache-solver)
7m 16s
3h 41m 49s