Add PHP 8.3, drop 8.0, update extensions #599
| Job | Run time |
|---|---|
| 1h 43m 14s | |
| 1h 42m 49s | |
| 1h 46m 57s | |
| 1h 42m 45s | |
| 1h 48m 33s | |
| 1h 45m 27s | |
| 1h 45m 53s | |
| 1h 51m 50s | |
| 1h 49m 13s | |
| 15h 56m 41s |
| Job | Run time |
|---|---|
| 1h 43m 14s | |
| 1h 42m 49s | |
| 1h 46m 57s | |
| 1h 42m 45s | |
| 1h 48m 33s | |
| 1h 45m 27s | |
| 1h 45m 53s | |
| 1h 51m 50s | |
| 1h 49m 13s | |
| 15h 56m 41s |