Skip to content
Test

fix: add warnings when --width or --depth limits reached #1252

Sign in to view logs

fix: add warnings when --width or --depth limits reached

fix: add warnings when --width or --depth limits reached #1252

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test (macos-latest, 3.11, solidity)
2m 30s
test (macos-latest, 3.11, solidity, --cache-solver)
3m 42s
test (macos-latest, 3.11, generic)
2m 32s
test (macos-latest, 3.11, generic, --cache-solver)
2m 59s
test (macos-latest, 3.12, solidity)
2m 20s
test (macos-latest, 3.12, solidity, --cache-solver)
2m 56s
test (macos-latest, 3.12, generic)
3m 47s
test (macos-latest, 3.12, generic, --cache-solver)
3m 15s
test (macos-latest, 3.13, solidity)
2m 16s
test (macos-latest, 3.13, solidity, --cache-solver)
2m 57s
test (macos-latest, 3.13, generic)
2m 31s
test (macos-latest, 3.13, generic, --cache-solver)
3m 7s
test (ubuntu-latest, 3.11, solidity)
2m 49s
test (ubuntu-latest, 3.11, solidity, --cache-solver)
4m 3s
test (ubuntu-latest, 3.11, generic)
2m 52s
test (ubuntu-latest, 3.11, generic, --cache-solver)
3m 54s
test (ubuntu-latest, 3.12, solidity)
2m 42s
test (ubuntu-latest, 3.12, solidity, --cache-solver)
4m 48s
test (ubuntu-latest, 3.12, generic)
3m 2s
test (ubuntu-latest, 3.12, generic, --cache-solver)
4m 0s
test (ubuntu-latest, 3.13, solidity)
2m 43s
test (ubuntu-latest, 3.13, solidity, --cache-solver)
4m 18s
test (ubuntu-latest, 3.13, generic)
2m 53s
test (ubuntu-latest, 3.13, generic, --cache-solver)
4m 4s
test (windows-latest, 3.11, solidity)
3m 40s
test (windows-latest, 3.11, solidity, --cache-solver)
5m 10s
test (windows-latest, 3.11, generic)
3m 59s
test (windows-latest, 3.11, generic, --cache-solver)
5m 45s
test (windows-latest, 3.12, solidity)
3m 42s
test (windows-latest, 3.12, solidity, --cache-solver)
4m 53s
test (windows-latest, 3.12, generic)
4m 12s
test (windows-latest, 3.12, generic, --cache-solver)
5m 18s
test (windows-latest, 3.13, solidity)
4m 14s
test (windows-latest, 3.13, solidity, --cache-solver)
5m 16s
test (windows-latest, 3.13, generic)
4m 12s
test (windows-latest, 3.13, generic, --cache-solver)
5m 45s
2h 13m 6s