Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
Add mathlib4 porting warnings

old WIP trying to replace fractional_ideal by submodule in class_group: to be ported #7381

Sign in to view logs

old WIP trying to replace fractional_ideal by submodule in class_group: to be ported

old WIP trying to replace fractional_ideal by submodule in class_group: to be ported #7381

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check for modifications to ported files
22s
22s