[Merged by Bors] - chore(Charpoly/Disc): use nontriviality to drop a Nontrivial assumption
#269089
urkudbuild_fork.yml
on: pull_request_target
ci (fork)
/
Build
14m 56s
ci (fork)
/
Lint style
2m 20s
ci (fork)
/
Post-CI job
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:c40ff659c6b408c233b71fc84083fa480283ac72f46d52f86339df21bd1e0af3
|
|