style(Algebra/Groups/Defs): hit the spacebar one less time (#16756) #10423
bors.yml
on: push
Cancel Previous Runs (CI)
5s
check workflows
9s
Post-CI job
0s