Skip to content
continuous integration

feat(RingTheory): classification of etale algebras over fields (#20324) #154182

Sign in to view logs

feat(RingTheory): classification of etale algebras over fields (#20324)

feat(RingTheory): classification of etale algebras over fields (#20324) #154182

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
8m 18s
Lint style
1m 31s
Post-CI job
8s
9m 57s