[Merged by Bors] - chore(Data/Seq): address porting note in terminates_parallel.aux by golfing
#239177
eupruninbuild_fork.yml
on: pull_request_target
Build (fork)
10m 54s
Lint style (fork)
2m 17s
Post-CI job (fork)
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
247 KB |
sha256:b84f27a594b3f2c681f7aa980a62fa9a5bf3096c1b91c6859e071aa017d01d6b
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:03d9fb5a8136d1f92bdc236ab9ed6b0d2690adc8394ac15bcbcf3d22b4db6ee6
|
|