Skip to content

Commit 852d3e9

Browse files
committed
Set up crytic/echidna for garnix-io/benchmark-github
1 parent b899481 commit 852d3e9

22 files changed

+146
-926
lines changed

.github/CODEOWNERS

Lines changed: 0 additions & 1 deletion
This file was deleted.

.github/ISSUE_TEMPLATE/bug_report.yml

Lines changed: 0 additions & 48 deletions
This file was deleted.

.github/ISSUE_TEMPLATE/feature_request.yml

Lines changed: 0 additions & 17 deletions
This file was deleted.

.github/container-linux-static/Dockerfile

Lines changed: 0 additions & 30 deletions
This file was deleted.

.github/container-linux-static/README.md

Lines changed: 0 additions & 8 deletions
This file was deleted.

.github/dependabot.yml

Lines changed: 0 additions & 6 deletions
This file was deleted.

.github/scripts/build-macos-release.sh

Lines changed: 0 additions & 33 deletions
This file was deleted.

.github/scripts/host.sh

Lines changed: 0 additions & 25 deletions
This file was deleted.

.github/scripts/install-bitwuzla.sh

Lines changed: 0 additions & 23 deletions
This file was deleted.

.github/scripts/install-crytic-compile.sh

Lines changed: 0 additions & 3 deletions
This file was deleted.

0 commit comments

Comments
 (0)