chore(Data/Quot): rename surjective_*_mk
=> *.mk_surjective
#61807
Job | Run time |
---|---|
35s | |
1m 17s | |
1m 52s |
surjective_*_mk
=> *.mk_surjective
#61807
Job | Run time |
---|---|
35s | |
1m 17s | |
1m 52s |