Skip to content

[Merged by Bors] - chore: protect QuadraticForm.map_zero #20128

[Merged by Bors] - chore: protect QuadraticForm.map_zero

[Merged by Bors] - chore: protect QuadraticForm.map_zero #20128

Triggered via pull request July 10, 2024 23:56
Status Success
Total duration 14s
Artifacts

label_new_contributor.yml

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