Skip to content

Fix clippy::unnecessary_map_or lint #721

Fix clippy::unnecessary_map_or lint

Fix clippy::unnecessary_map_or lint #721

Annotations

1 warning

build-wasm

succeeded Jan 10, 2025 in 32s
Set up job
0s
Run actions/checkout@v4
1s
Run rustup target add wasm32-unknown-unknown
2s
build parry2d
20s
build parry3d
6s
Post Run actions/checkout@v4
0s
Complete job
0s