lint and suggest

[Merged by Bors] - doc(Tactic/Ring/Basic): fix documentation for `ExProd.mkRat` #85283

Sign in to view logs

Triggered via pull request February 25, 2025 10:04

synchronize #22180

CM_ringtacdocfix

Status Success

Total duration 1m 34s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported