continuous integration (staging)

chore(Charpoly/Disc): use `nontriviality` to drop a `Nontrivial` assu… #21542

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (staging) / Lint style	2m 3s
ci (staging) / Build	14m 45s
ci (staging) / Post-Build Step	3m 34s
ci (staging) / Post-CI job	10s
	20m 32s