Skip to content
lint and suggest

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

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 #120271

Triggered via pull request October 16, 2025 04:57
@euprunineuprunin
opened #30603
euprunin:golf-cdxvi
Status Success
Total duration 4m 17s
Artifacts –

lint_and_suggest_pr.yml

on: pull_request
Lint style
4m 10s
Lint style
Fit to window
Zoom out
Zoom in