Skip to content

[Merged by Bors] - chore(Data/Seq): address porting note in terminates_parallel.aux by golfing #239177

[Merged by Bors] - chore(Data/Seq): address porting note in terminates_parallel.aux by golfing

[Merged by Bors] - chore(Data/Seq): address porting note in terminates_parallel.aux by golfing #239177

Triggered via pull request October 16, 2025 04:57
@euprunineuprunin
opened #30603
Status Success
Total duration 13m 33s
Artifacts 2

build_fork.yml

on: pull_request_target
Post-Build Step (fork)
2m 25s
Post-Build Step (fork)
Post-CI job (fork)
4s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
import-graph
247 KB
sha256:b84f27a594b3f2c681f7aa980a62fa9a5bf3096c1b91c6859e071aa017d01d6b
mathlib4_artifact
1.61 GB
sha256:03d9fb5a8136d1f92bdc236ab9ed6b0d2690adc8394ac15bcbcf3d22b4db6ee6