src/mini_selector/extension.rs: rename snap_is -> mini_is, `snap_…
#67
| Job | Run time |
|---|---|
| 20s | |
| 20s |
snap_is -> mini_is, `snap_…
#67
| Job | Run time |
|---|---|
| 20s | |
| 20s |