[Merged by Bors] - feat(RingTheory): Algebra.FinitePresentation descends along faithfully flat algebras
#269556
chrisflavbuild_fork.yml
on: pull_request_target
ci (fork)
/
Build
8m 43s
ci (fork)
/
Lint style
2m 9s
ci (fork)
/
Post-CI job
13s
Annotations
1 warning
|
ci (fork) / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
274 KB |
sha256:27cc89335831acccae9060df02c90163c9223a32c3771070aae9661bae66372a
|
|