Fix IsIntegralRing to return false for rings that are euclidean but not integral by changing IsUniqueFactorizationRing and IsEuclideanRing to not imply IsIntegralRing anymore
#5759
fingolfinCI.yml
on: pull_request
Matrix: test
Send Slack notification on status change
0s
Annotations
1 warning
|
testmockpkg testinstall - BOOTSTRAP_MINIMAL=yes - macos-latest
pkg-config 0.29.2_3 is already installed and up-to-date.
To reinstall 0.29.2_3, run:
brew reinstall pkg-config
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
manuals-html
|
3.38 MB |
|
|
manuals-pdf
|
5.31 MB |
|