Skip to content
Commit Verification

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

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 #8521

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

commit_verification.yml

on: pull_request
Verify Transient and Automated Commits
42s
Verify Transient and Automated Commits
Fit to window
Zoom out
Zoom in