Skip to content
Check PR titles

feat(NumberTheory/NumberField/Ideal/KummerDedekind): start from a prime rather than from a factor #40635

Sign in to view logs

feat(NumberTheory/NumberField/Ideal/KummerDedekind): start from a prime rather than from a factor

feat(NumberTheory/NumberField/Ideal/KummerDedekind): start from a prime rather than from a factor #40635

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check_title
-8s
-8s