Skip to content
CI

Allow to use specific filter for direct symexec #1920

Sign in to view logs

Allow to use specific filter for direct symexec

Allow to use specific filter for direct symexec #1920

Triggered via pull request May 9, 2024 19:03
@ggrieco-tobggrieco-tob
opened #1251
dev-improved-filter-symexec
Status Failure
Total duration 37m 58s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

8 errors and 1 warning
Test with solc 0.6.12 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.5.7 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.5.7 on windows-latest
Process completed with exit code 1.
Test with solc 0.7.5 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.6.12 on windows-latest
Process completed with exit code 1.
Test with solc 0.4.25 on ubuntu-latest
Process completed with exit code 1.
Test with solc 0.7.5 on windows-latest
Process completed with exit code 1.
Test with solc 0.4.25 on windows-latest
Process completed with exit code 1.
Build Echidna on windows-latest
Failed to restore: Cache service responded with 429

Artifacts

Produced during runtime
Name Size
echidna-Linux Expired
18 MB
echidna-Windows Expired
17.8 MB
echidna-macOS Expired
8.86 MB
echidna-testsuite-Linux Expired
24.7 MB
echidna-testsuite-Windows Expired
21.5 MB