Fix array_flip() on PHP 8.1
#1199
| Job | Run time |
|---|---|
| 7s | |
| 1m 19s | |
| 1m 9s | |
| 1m 42s | |
| 2m 0s | |
| 1m 33s | |
| 25s | |
| 1m 52s | |
| 33s | |
| 10m 40s |
array_flip() on PHP 8.1
#1199
| Job | Run time |
|---|---|
| 7s | |
| 1m 19s | |
| 1m 9s | |
| 1m 42s | |
| 2m 0s | |
| 1m 33s | |
| 25s | |
| 1m 52s | |
| 33s | |
| 10m 40s |