Skip to content
continuous integration (mathlib forks)

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

Sign in to view logs

[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

Build (fork)

Build (fork)
succeeded Oct 16, 2025 in 10m 54s