@@ -17,16 +17,22 @@ jobs:
17
17
env :
18
18
NODE_ENV : production
19
19
steps :
20
- - uses : actions/checkout@v4
21
- with :
22
- submodules : recursive
23
- - uses : actions/setup-node@v4
24
- with :
25
- node-version : latest
26
- - name : Install npm dependencies
27
- run : npm ci --production
20
+ - uses : actions/checkout@v3
21
+
28
22
- name : Install Foundry
29
23
uses : foundry-rs/foundry-toolchain@v1
24
+ with :
25
+ version : nightly
26
+
27
+ - name : Use Node.js
28
+ uses : actions/setup-node@v3
29
+ with :
30
+ node-version : 18.x
31
+ cache : ' yarn'
32
+
33
+ - name : Install dependencies
34
+ run : yarn --frozen-lockfile --network-concurrency 1
35
+
30
36
- name : Run slither
31
37
uses : crytic/slither-action@v0.3.1
32
38
with :
@@ -91,26 +97,35 @@ jobs:
91
97
runs-on : ubuntu-latest
92
98
93
99
steps :
94
- - name : Checkout repository
95
- uses : actions/checkout@v3
96
- with :
97
- submodules : recursive
98
-
99
- - name : Install Foundry
100
- uses : foundry-rs/foundry-toolchain@v1
101
- with :
102
- version : nightly
103
-
104
- - name : Compile contracts
105
- run : |
106
- forge build --build-info
107
-
108
- - name : Run Echidna
109
- uses : crytic/echidna-action@v2
110
- with :
111
- files : .
112
- contract : GreeterInvariant
113
- crytic-args : --ignore-compile
100
+ - name : Checkout repository
101
+ uses : actions/checkout@v3
102
+ with :
103
+ submodules : recursive
104
+
105
+ - name : Install Foundry
106
+ uses : foundry-rs/foundry-toolchain@v1
107
+ with :
108
+ version : nightly
109
+
110
+ - name : Use Node.js
111
+ uses : actions/setup-node@v3
112
+ with :
113
+ node-version : 18.x
114
+ cache : ' yarn'
115
+
116
+ - name : Install dependencies
117
+ run : yarn --frozen-lockfile --network-concurrency 1
118
+
119
+ - name : Compile contracts
120
+ run : |
121
+ forge build --build-info
122
+
123
+ - name : Run Echidna
124
+ uses : crytic/echidna-action@v2
125
+ with :
126
+ files : .
127
+ contract : GreeterInvariant
128
+ crytic-args : --ignore-compile
114
129
115
130
halmos-tests :
116
131
name : Run symbolic execution tests
0 commit comments