chore: rename StarSemigroup.to_starModule
#60231
Job | Run time |
---|---|
57m 35s | |
4s | |
8s | |
9s | |
55s | |
9s | |
59m 0s |
StarSemigroup.to_starModule
#60231
Job | Run time |
---|---|
57m 35s | |
4s | |
8s | |
9s | |
55s | |
9s | |
59m 0s |