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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Verify Transient and Automated Commits
42s
42s