Skip to content
Autolabel PRs

[Merged by Bors] - feat: vectorSpan k (v +ᵥ s) = vectorSpan k s #5035

Sign in to view logs

[Merged by Bors] - feat: vectorSpan k (v +ᵥ s) = vectorSpan k s

[Merged by Bors] - feat: vectorSpan k (v +ᵥ s) = vectorSpan k s #5035

Triggered via pull request January 31, 2025 18:59
@YaelDilliesYaelDillies
opened #21305
vector_span_vadd
Status Success
Total duration 56s
Artifacts –

add_label_from_diff.yaml

on: pull_request
Add topic label
49s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
Applicable labels: #[t-algebra]
Add topic label
added label: t-algebra