Skip to content

Weighted set and dot product operators don't need ranking. #2038

Weighted set and dot product operators don't need ranking.

Weighted set and dot product operators don't need ranking. #2038

Triggered via pull request December 9, 2024 14:58
Status Success
Total duration 32s
Artifacts

link-checker.yml

on: pull_request
test  /  htmlproofer
22s
test / htmlproofer
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test / htmlproofer
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636