Correctly set OTPROTON if --proton flag is not passed and/or if the…
#250
| Job | Run time |
|---|---|
| 42s | |
| 42s |
--proton flag is not passed and/or if the…
#250
| Job | Run time |
|---|---|
| 42s | |
| 42s |