File tree 2 files changed +21
-0
lines changed 2 files changed +21
-0
lines changed Original file line number Diff line number Diff line change @@ -183,3 +183,23 @@ jobs:
183
183
- name : Check that C header is up-to-date
184
184
run : git diff --exit-code ||
185
185
(echo "!!!! CHECKED IN C HEADER IS OUTDATED !!!!" && false)
186
+
187
+ clippy :
188
+ name : Lint with clippy
189
+ runs-on : ubuntu-latest
190
+ steps :
191
+ - name : Checkout repository
192
+ uses : actions/checkout@v4
193
+ with :
194
+ submodules : recursive
195
+
196
+ - name : Install system dependencies
197
+ run : |
198
+ sudo apt-get update
199
+ sudo apt-get install \
200
+ build-essential \
201
+ libelf-dev \
202
+ zlib1g-dev
203
+
204
+ - uses : dtolnay/rust-toolchain@stable
205
+ - run : cargo clippy --workspace --no-deps -- -A unknown_lints -D clippy::todo
Original file line number Diff line number Diff line change 4
4
#![ allow( non_camel_case_types) ]
5
5
#![ allow( non_snake_case) ]
6
6
7
+ #[ allow( clippy:: all) ]
7
8
mod bindings {
8
9
#[ cfg( all( feature = "bindgen" , not( feature = "bindgen-source" ) ) ) ]
9
10
include ! ( concat!( env!( "OUT_DIR" ) , "/bindings.rs" ) ) ;
You can’t perform that action at this time.
0 commit comments