Skip to content

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

[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
Status Success
Total duration 4m 17s
Artifacts

lint_and_suggest_pr.yml

on: pull_request
Fit to window
Zoom out
Zoom in