digitalPinToInterrupt: fix double pin remapping #9733
| Job | Run time |
|---|---|
| 5s | |
| 5s | |
| 4s | |
| 20m 53s | |
| 9m 26s | |
| 42m 26s | |
| 3m 9s | |
| 29m 22s | |
| 3m 9s | |
| 14m 29s | |
| 3m 47s | |
| 3m 16s | |
| 14m 4s | |
| 9m 20s | |
| 2m 40s | |
| 14m 4s | |
| 2m 38s | |
| 3m 1s | |
| 21m 18s | |
| 3m 7s | |
| 31m 28s | |
| 36m 52s | |
| 3m 1s | |
| 31m 59s | |
| 27m 10s | |
| 29m 13s | |
| 43m 57s | |
| 37m 52s | |
| 32m 36s | |
| 11m 37s | |
| 0s | |
| 8h 6m 8s |