[Merged by Bors] - chore(Algebra): generalize subalgebra operations to semirings #236825
harahubuild_fork.yml
on: pull_request_target
Lint style (fork)
3m 3s
Build (fork)
25m 53s
Post-CI job (fork)
6s
CI Success
2s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
245 KB |
sha256:6e27589e025e31c657f97a739c23ce35009d07a72c00891e83740efd226a7a6b
|
|
|
mathlib4_artifact
|
1.63 GB |
sha256:ad64f6bb2c2edf652493d7ef3db3d975991c36148007661e13c027e95425a8b3
|
|