lint and suggest

chore: redefine `Nat.div2` `Nat.bodd` #70745

Sign in to view logs

Triggered via pull request December 1, 2024 18:53

synchronize #13649

FR_binrec

Status Success

Total duration 1m 14s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported