Check PR titles

[Merged by Bors] - feat: products of bases of Lie algebras #33275

Sign in to view logs

Triggered via pull request July 21, 2026 14:26

ocfnash

edited #41971

Status Skipped

Total duration 1s

Artifacts –

check_pr_titles.yaml

on: pull_request_target