Skip to content
Label New Contributors

[Merged by Bors] - feat: Create a partition from an element of Sym #21550

Sign in to view logs

[Merged by Bors] - feat: Create a partition from an element of Sym

[Merged by Bors] - feat: Create a partition from an element of Sym #21550

Triggered via pull request July 18, 2024 08:43
@SashaIrSashaIr
synchronize #14749
sashair-partitions-of-sym
Status Success
Total duration 11s
Artifacts –

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
2s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in