Make slither optional · crytic/echidna@f571590

Triggered via pull request January 8, 2024 23:25

arcz

opened #1159

optional-slither

Status Success

Total duration 15m 36s

Artifacts 5

ci.yml

on: pull_request

Matrix: build

Matrix: test

Produced during runtime

Name	Size
echidna-Linux Expired	16.4 MB
echidna-Windows Expired	16.1 MB
echidna-macOS Expired	7.35 MB
echidna-testsuite-Linux Expired	22.3 MB
echidna-testsuite-Windows Expired	19.1 MB