Docs: fix typos of 'whether' in operator_{gt,le,lt}.md (#4412)
#23
| Job | Run time |
|---|---|
| 17m 58s | |
| 16m 27s | |
| 5m 53s | |
| 5m 50s | |
| 6m 2s | |
| 7m 58s | |
| 6m 25s | |
| 6m 8s | |
| 4m 17s | |
| 6m 15s | |
| 4m 4s | |
| 8m 0s | |
| 4m 19s | |
| 8m 19s | |
| 3m 48s | |
| 7m 22s | |
| 7m 22s | |
| 6m 41s | |
| 6m 59s | |
| 2h 20m 7s |