@@ -53,12 +53,12 @@ jobs:
53
53
uses : arduino/setup-protoc@v3
54
54
with :
55
55
repo-token : ${{ secrets.GITHUB_TOKEN }}
56
- - name : Setup Node
57
- uses : actions/setup-node@v3
58
- with :
59
- node-version : " 18"
60
- - name : Install Quint
61
- run : npm install -g @informalsystems/quint
56
+ # - name: Setup Node
57
+ # uses: actions/setup-node@v3
58
+ # with:
59
+ # node-version: "18"
60
+ # - name: Install Quint
61
+ # run: npm install -g @informalsystems/quint
62
62
- name : Setup Rust toolchain
63
63
uses : actions-rust-lang/setup-rust-toolchain@v1
64
64
with :
@@ -93,65 +93,65 @@ jobs:
93
93
name : integration-test-results
94
94
path : code/target/nextest/default/junit.xml
95
95
96
- mbt :
97
- name : MBT
98
- needs : changes
99
- if : ${{ needs.changes.outputs.code == 'true' || needs.changes.outputs.specs == 'true' || needs.changes.outputs.codecov == 'true' || github.ref == 'refs/heads/main' }}
100
- runs-on : ubuntu-latest
101
- defaults :
102
- run :
103
- working-directory : code
104
- env :
105
- CARGO_TERM_COLOR : always
106
- steps :
107
- - name : Checkout
108
- uses : actions/checkout@v4
109
- - name : Install Protoc
110
- uses : arduino/setup-protoc@v3
111
- with :
112
- repo-token : ${{ secrets.GITHUB_TOKEN }}
113
- - name : Setup Node
114
- uses : actions/setup-node@v3
115
- with :
116
- node-version : " 18"
117
- - name : Install Quint
118
- run : npm install -g @informalsystems/quint
119
- - name : Setup Rust toolchain
120
- uses : actions-rust-lang/setup-rust-toolchain@v1
121
- with :
122
- toolchain : nightly-2025-01-07 # pin to working nightly
123
- components : llvm-tools-preview
124
- - name : Install cargo-nextest
125
- uses : taiki-e/install-action@cargo-nextest
126
- - name : Install cargo-llvm-cov
127
- uses : taiki-e/install-action@cargo-llvm-cov
128
- - name : Generate code coverage
129
- run : |
130
- cargo llvm-cov nextest \
131
- -p informalsystems-malachitebft-test-mbt \
132
- -p informalsystems-malachitebft-starknet-test-mbt \
133
- --all-features --lcov --output-path lcov-mbt.info
134
- - name : Generate text report
135
- run : cargo llvm-cov report
136
- - name : Upload coverage artifact
137
- uses : actions/upload-artifact@v4
138
- with :
139
- name : mbt-coverage
140
- path : code/lcov-mbt.info
96
+ # mbt:
97
+ # name: MBT
98
+ # needs: changes
99
+ # if: ${{ needs.changes.outputs.code == 'true' || needs.changes.outputs.specs == 'true' || needs.changes.outputs.codecov == 'true' || github.ref == 'refs/heads/main' }}
100
+ # runs-on: ubuntu-latest
101
+ # defaults:
102
+ # run:
103
+ # working-directory: code
104
+ # env:
105
+ # CARGO_TERM_COLOR: always
106
+ # steps:
107
+ # - name: Checkout
108
+ # uses: actions/checkout@v4
109
+ # - name: Install Protoc
110
+ # uses: arduino/setup-protoc@v3
111
+ # with:
112
+ # repo-token: ${{ secrets.GITHUB_TOKEN }}
113
+ # - name: Setup Node
114
+ # uses: actions/setup-node@v3
115
+ # with:
116
+ # node-version: "18"
117
+ # - name: Install Quint
118
+ # run: npm install -g @informalsystems/quint
119
+ # - name: Setup Rust toolchain
120
+ # uses: actions-rust-lang/setup-rust-toolchain@v1
121
+ # with:
122
+ # toolchain: nightly-2025-01-07 # pin to working nightly
123
+ # components: llvm-tools-preview
124
+ # - name: Install cargo-nextest
125
+ # uses: taiki-e/install-action@cargo-nextest
126
+ # - name: Install cargo-llvm-cov
127
+ # uses: taiki-e/install-action@cargo-llvm-cov
128
+ # - name: Generate code coverage
129
+ # run: |
130
+ # cargo llvm-cov nextest \
131
+ # -p informalsystems-malachitebft-test-mbt \
132
+ # -p informalsystems-malachitebft-starknet-test-mbt \
133
+ # --all-features --lcov --output-path lcov-mbt.info
134
+ # - name: Generate text report
135
+ # run: cargo llvm-cov report
136
+ # - name: Upload coverage artifact
137
+ # uses: actions/upload-artifact@v4
138
+ # with:
139
+ # name: mbt-coverage
140
+ # path: code/lcov-mbt.info
141
141
142
142
upload-coverage :
143
143
name : Upload Coverage
144
- needs : [integration, mbt ]
144
+ needs : [integration]
145
145
runs-on : ubuntu-latest
146
146
steps :
147
147
- name : Download integration coverage
148
148
uses : actions/download-artifact@v4
149
149
with :
150
150
name : integration-coverage
151
- - name : Download MBT coverage
152
- uses : actions/download-artifact@v4
153
- with :
154
- name : mbt-coverage
151
+ # - name: Download MBT coverage
152
+ # uses: actions/download-artifact@v4
153
+ # with:
154
+ # name: mbt-coverage
155
155
- name : Download integration test results
156
156
uses : actions/download-artifact@v4
157
157
with :
@@ -164,14 +164,14 @@ jobs:
164
164
files : lcov-integration.info
165
165
flags : integration
166
166
fail_ci_if_error : false
167
- - name : Upload MBT coverage to Codecov
168
- uses : codecov/codecov-action@v5
169
- if : ${{ !cancelled() }}
170
- with :
171
- token : ${{ secrets.CODECOV_TOKEN }}
172
- files : lcov-mbt.info
173
- flags : mbt
174
- fail_ci_if_error : false
167
+ # - name: Upload MBT coverage to Codecov
168
+ # uses: codecov/codecov-action@v5
169
+ # if: ${{ !cancelled() }}
170
+ # with:
171
+ # token: ${{ secrets.CODECOV_TOKEN }}
172
+ # files: lcov-mbt.info
173
+ # flags: mbt
174
+ # fail_ci_if_error: false
175
175
- name : Upload test results to Codecov
176
176
if : ${{ !cancelled() }}
177
177
uses : codecov/test-results-action@v1
0 commit comments