lint and suggest

[Merged by Bors] - chore: rename `StarSemigroup.to_starModule` #10636

Sign in to view logs

Triggered via pull request December 12, 2023 05:08

j-loreaux

opened #8994

j-loreaux/rename-StarSemigroup.to_starModule

Status Success

Total duration 1m 25s

Artifacts –

lint_and_suggest_pr.yml

on: pull_request

Check all files imported