Post PR summary comment

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

Sign in to view logs

Triggered via pull request December 1, 2024 18:53

synchronize #13649

FR_binrec

Status Success

Total duration 52s

Artifacts –

PR_summary.yml

on: pull_request

post-or-update-summary-comment