lint and suggest

[Merged by Bors] - chore: refactor of Algebra/Group/Defs to reduce imports #15145

Sign in to view logs

Triggered via pull request January 17, 2024 11:06

YaelDillies

synchronize #9606

group_defs_refactor

Status Success

Total duration 56s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported