18
18
- name : Install Rust toolchain
19
19
run :
20
20
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
21
+ source .cargo/env
21
22
- name : Download Verus
22
23
uses : actions/checkout@v2
23
24
with :
@@ -44,20 +45,22 @@ jobs:
44
45
- name : Install Rust toolchain
45
46
run : |
46
47
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
48
+ source .cargo/env
47
49
- name : Restore build cache
48
50
uses : actions/cache@v4
49
51
with :
50
52
path : |
51
53
verus
52
54
key : verus-${{ hashFiles('source/Cargo.lock') }}
53
- - name : Verify fluent controllerc
55
+ - name : Verify fluent controller
54
56
run : VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh fluent_controller.rs --time --rlimit 50
55
57
rabbitmq-verification :
56
58
runs-on : ubuntu-22.04
57
59
steps :
58
60
- name : Install Rust toolchain
59
61
run : |
60
62
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
63
+ source .cargo/env
61
64
- name : Restore build cache
62
65
uses : actions/cache@v4
63
66
with :
72
75
- name : Install Rust toolchain
73
76
run : |
74
77
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
78
+ source .cargo/env
75
79
- name : Restore build cache
76
80
uses : actions/cache@v4
77
81
with :
86
90
- name : Install Rust toolchain
87
91
run : |
88
92
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
93
+ source .cargo/env
89
94
- name : Restore build cache
90
95
uses : actions/cache@v4
91
96
with :
@@ -100,6 +105,7 @@ jobs:
100
105
- name : Install Rust toolchain
101
106
run : |
102
107
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
108
+ source .cargo/env
103
109
- name : Restore build cache
104
110
uses : actions/cache@v4
105
111
with :
@@ -114,6 +120,7 @@ jobs:
114
120
- name : Install Rust toolchain
115
121
run : |
116
122
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
123
+ source .cargo/env
117
124
- name : Restore build cache
118
125
uses : actions/cache@v4
119
126
with :
@@ -128,6 +135,7 @@ jobs:
128
135
- name : Install Rust toolchain
129
136
run : |
130
137
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
138
+ source .cargo/env
131
139
- name : Restore build cache
132
140
uses : actions/cache@v4
133
141
with :
@@ -144,6 +152,7 @@ jobs:
144
152
- name : Install Rust toolchain
145
153
run : |
146
154
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
155
+ source .cargo/env
147
156
- name : Restore build cache
148
157
uses : actions/cache@v4
149
158
with :
@@ -168,6 +177,7 @@ jobs:
168
177
- name : Install Rust toolchain
169
178
run : |
170
179
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
180
+ source .cargo/env
171
181
- name : Restore build cache
172
182
uses : actions/cache@v4
173
183
with :
@@ -182,6 +192,7 @@ jobs:
182
192
- name : Install Rust toolchain
183
193
run : |
184
194
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
195
+ source .cargo/env
185
196
- name : Restore build cache
186
197
uses : actions/cache@v4
187
198
with :
@@ -203,6 +214,7 @@ jobs:
203
214
- name : Install Rust toolchain
204
215
run : |
205
216
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
217
+ source .cargo/env
206
218
- name : Deploy fluent controller
207
219
run : ./local-test.sh fluent
208
220
- name : Run fluent e2e tests
@@ -220,6 +232,7 @@ jobs:
220
232
- name : Install Rust toolchain
221
233
run : |
222
234
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
235
+ source .cargo/env
223
236
- name : Deploy rabbitmq controller
224
237
run : ./local-test.sh rabbitmq
225
238
- name : Run rabbitmq e2e tests
@@ -237,6 +250,7 @@ jobs:
237
250
- name : Install Rust toolchain
238
251
run : |
239
252
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
253
+ source .cargo/env
240
254
- name : Deploy rabbitmq controller
241
255
run : ./local-test.sh rabbitmq
242
256
- name : Run rabbitmq e2e tests for scaling
@@ -254,6 +268,7 @@ jobs:
254
268
- name : Install Rust toolchain
255
269
run : |
256
270
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
271
+ source .cargo/env
257
272
- name : Deploy rabbitmq controller
258
273
run : ./local-test.sh rabbitmq
259
274
- name : Run rabbitmq e2e tests for ephemeral
@@ -271,6 +286,7 @@ jobs:
271
286
- name : Install Rust toolchain
272
287
run : |
273
288
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
289
+ source .cargo/env
274
290
- name : Deploy zookeeper controller
275
291
run : ./local-test.sh zookeeper
276
292
- name : Run zookeeper e2e tests
@@ -288,6 +304,7 @@ jobs:
288
304
- name : Install Rust toolchain
289
305
run : |
290
306
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
307
+ source .cargo/env
291
308
- name : Deploy zookeeper controller
292
309
run : ./local-test.sh zookeeper
293
310
- name : Run zookeeper e2e tests for scaling
@@ -305,6 +322,7 @@ jobs:
305
322
- name : Install Rust toolchain
306
323
run : |
307
324
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain 1.82.0-x86_64-unknown-linux-gnu -y
325
+ source .cargo/env
308
326
- name : Deploy vreplicaset controller
309
327
run : ./local-test.sh vreplicaset
310
328
- name : Run vreplicaset e2e tests
0 commit comments