Skip to content

Commit

Permalink
chore: compile before running slither in ga
Browse files Browse the repository at this point in the history
  • Loading branch information
0xtekgrinder committed Nov 2, 2023
1 parent 47a5f94 commit 9729d6f
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 9 deletions.
5 changes: 5 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -201,11 +201,16 @@ jobs:
with:
version: nightly

- name: Compile foundry
run: forge build --build-info --skip */test/** */scripts/** --force

- name: "Run Slither analysis"
uses: "crytic/[email protected]"
id: "slither"
with:
fail-on: "none"
sarif: "results.sarif"
ignore-compile: true

- name: "Upload SARIF file to GitHub code scanning"
uses: "github/codeql-action/upload-sarif@v2"
Expand Down
18 changes: 9 additions & 9 deletions foundry.toml
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
[profile.default]
src = 'contracts'
out = 'out'
test = 'test'
libs = ['lib']
script = 'scripts'
cache_path = 'cache'
src = "contracts"
out = "out"
test = "test"
libs = ["lib"]
script = "scripts"
cache_path = "cache"
gas_reports = ["*"]
via_ir = true
sizes = true
optimizer = true
optimizer_runs = 1000
solc_version = '0.8.20'
solc_version = "0.8.20"
ffi = true

[fuzz]
Expand Down Expand Up @@ -48,7 +48,7 @@ bsc = { key = "${BSC_ETHERSCAN_API_KEY}"}
[profile.dev]
optimizer = true
via_ir = false
src = 'test'
src = "test"
gas_reports = ["*"]

[profile.dev.fuzz]
Expand All @@ -60,7 +60,7 @@ depth = 1
fail_on_revert = false

[profile.ci]
src = 'test'
src = "test"
via_ir = false
gas_reports = ["*"]

Expand Down

0 comments on commit 9729d6f

Please sign in to comment.