Add inter as an alternative for sect (Proposal 14, part I)
#24
| Job | Run time |
|---|---|
| 4s | |
| 4s |
inter as an alternative for sect (Proposal 14, part I)
#24
| Job | Run time |
|---|---|
| 4s | |
| 4s |