mirror of
https://github.com/urbit/ares.git
synced 2024-11-22 15:08:54 +03:00
Disable missing_safety_doc lint
This commit is contained in:
parent
f8b05fc53b
commit
997c4d2b20
2
.github/workflows/ares-shared.yml
vendored
2
.github/workflows/ares-shared.yml
vendored
@ -21,7 +21,7 @@ jobs:
|
|||||||
run: cargo fmt --check
|
run: cargo fmt --check
|
||||||
|
|
||||||
- name: Lint
|
- name: Lint
|
||||||
run: cargo clippy -- --deny warnings
|
run: cargo clippy -- --deny warnings --allow clippy::missing_safety_doc
|
||||||
|
|
||||||
- name: Build
|
- name: Build
|
||||||
run: cargo build --verbose
|
run: cargo build --verbose
|
||||||
|
Loading…
Reference in New Issue
Block a user