Skip to content
lint and suggest

[Merged by Bors] - chore(Charpoly/Disc): use nontriviality to drop a Nontrivial assumption #149449

Sign in to view logs

[Merged by Bors] - chore(Charpoly/Disc): use nontriviality to drop a Nontrivial assumption

[Merged by Bors] - chore(Charpoly/Disc): use nontriviality to drop a Nontrivial assumption #149449

Triggered via pull request February 12, 2026 04:11
@urkudurkud
synchronize #35117
urkud:nontriviality
Status Success
Total duration 2m 24s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint and suggest
2m 21s
Lint and suggest
Fit to window
Zoom out
Zoom in