Skip to content

Commit e40fbb0

Browse files
jkarnijkarni
committed
Set up crytic/echidna for garnix-io/benchmark-github
1 parent cda7516 commit e40fbb0

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)