Skip to content
Back to pull request #10215

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM #18169

Sign in to view logs

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM #18169

Triggered via pull request December 6, 2025 01:03
@srghmasrghma
synchronize #10215
srghma:feat-add-array-partitionM-and-others
Status Success
Total duration 7s
Artifacts –

awaiting-mathlib.yml

on: pull_request
check-awaiting-mathlib
4s
check-awaiting-mathlib
Fit to window
Zoom out
Zoom in