Skip to content

Add regular and parallel reductions and transitions between them #38

Add regular and parallel reductions and transitions between them

Add regular and parallel reductions and transitions between them #38

Triggered via pull request January 23, 2024 12:04
Status Success
Total duration 1m 41s
Artifacts

lean.yml

on: pull_request
Fit to window
Zoom out
Zoom in