Replace != None with is not None in Python bindings
#813
| Job | Run time |
|---|---|
| 6m 57s | |
| 7m 16s | |
| 7m 16s | |
| 7m 32s | |
| 8m 13s | |
| 7m 54s | |
| 7m 3s | |
| 7m 8s | |
| 7m 27s | |
| 7m 50s | |
| 7m 55s | |
| 7m 51s | |
| 7m 30s | |
| 7m 39s | |
| 4s | |
| 1h 45m 35s |