-
Notifications
You must be signed in to change notification settings - Fork 5
115 lines (115 loc) · 3.94 KB
/
ci.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
name: Continuous integration
run-name: Regression tests run by ${{ github.actor }}
on:
push:
branches:
- main
paths-ignore:
- "README.md"
- ".gitignore"
- "doc/**"
pull_request:
merge_group:
workflow_dispatch:
jobs:
controller-verification:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Build fluent controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh fluent_controller.rs --rlimit 30 --time
- name: Build rabbitmq controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh rabbitmq_controller.rs --rlimit 30 --time
- name: Build simple controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh simple_controller.rs --rlimit 30 --time
- name: Build zookeeper controller
run: VERUS_DIR="$(dirname "${PWD}")/verus" ./build.sh zookeeper_controller.rs --rlimit 30 --time
unit-tests:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Download Verus
uses: actions/checkout@v2
with:
repository: verus-lang/verus
path: verus
- name: Move Verus
run: mv verus ../verus
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Build Verus
run: |
cd ../verus/source
./tools/get-z3.sh
source ../tools/activate
vargo build --release
- name: Run unit tests
run: cargo test
fluent-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
run: go install sigs.k8s.io/[email protected]
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Deploy fluent controller
run: ./local-test.sh fluent
- name: Run fluent e2e tests
run: cd e2e && cargo run -- fluent
rabbitmq-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
run: go install sigs.k8s.io/[email protected]
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Deploy rabbitmq controller
run: ./local-test.sh rabbitmq
- name: Run rabbitmq e2e tests
run: cd e2e && cargo run -- rabbitmq
zookeeper-e2e-test:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Setup Go
uses: actions/setup-go@v2
with:
go-version: "^1.20"
- name: Install kind
run: go install sigs.k8s.io/[email protected]
- name: Install Rust toolchain
run: |
curl --proto '=https' --tlsv1.2 --retry 10 --retry-connrefused -fsSL "https://sh.rustup.rs" | sh -s -- --default-toolchain none -y
- name: Deploy zookeeper controller
run: ./local-test.sh zookeeper
- name: Run zookeeper e2e tests
run: cd e2e && cargo run -- zookeeper