Skip to content

Commit

Permalink
Allow unknown manual_div_ceil lint (#2605)
Browse files Browse the repository at this point in the history
  • Loading branch information
laggui authored Dec 9, 2024
1 parent 259783b commit f1558ad
Show file tree
Hide file tree
Showing 3 changed files with 3 additions and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -76,6 +76,7 @@ where
) {
let k_step = SMM::K;
let range = k_range.1 - k_range.0;
#[allow(unknown_lints)] // `manual_div_ceil` only appeared in 1.83
#[allow(clippy::manual_div_ceil)]
let num_loops = (range + k_step - 1) / k_step;

Expand Down
1 change: 1 addition & 0 deletions crates/burn-jit/src/kernel/pool/adaptive_avg_pool2d.rs
Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,7 @@ fn start_index(output_size_index: u32, output_size: u32, input_size: u32) -> u32
(output_size_index * input_size) / output_size
}

#[allow(unknown_lints)] // `manual_div_ceil` only appeared in 1.83
#[allow(clippy::manual_div_ceil)]
#[cube]
fn end_index(output_size_index: u32, output_size: u32, input_size: u32) -> u32 {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -66,6 +66,7 @@ fn start_index(output_size_index: u32, output_size: u32, input_size: u32) -> u32
(output_size_index * input_size) / output_size
}

#[allow(unknown_lints)] // `manual_div_ceil` only appeared in 1.83
#[allow(clippy::manual_div_ceil)]
#[cube]
fn end_index(output_size_index: u32, output_size: u32, input_size: u32) -> u32 {
Expand Down

0 comments on commit f1558ad

Please sign in to comment.