Watch him do it here:

https://www.youtube.com/watch?v=eYi2f4ONEDg&t=180

What an incredible performance. I've seen a sub-4 mile in person. These guys are absolutely flying. All of them. And he beats the pants off that field.

Splits (400m):

  400m: 55.3
  800m: 1:51.1 (56.8 second lap)
  1200m: 2:46.5 (55.4 second lap)
  1600m: 3:41.4 (54.9 third lap)
  Mile: 3:42.66

Splits (100m):

  100m: 13.8
  200m: 27.5 (13.7)
  300m: 41.0 (13.5)
  400m: 55.3 (14.3)
  500m: 1:09.3 (14.0)
  600m: 1:23.2 (13.9)
  700m: 1:37.0 (13.8)
  800m: 1:51.1 (14.1)
  900m: 2:05.1 (14.0)
  1000m: 2:18.8 (13.7)
  1100m: 2:32.6 (13.8)
  1200m: 2:46.5 (13.9)
  1300m: 3:00.3 (13.8)
  1400m: 3:14.0 (13.7)
  1500m: 3:27.7 (13.7)
  1600m: 3:41.4 (13.7)
  Mile: 3:42.66 (1.2 for the final 9.34m)

Splits copied from https://xcancel.com/ChrisChavez/status/2078494868540637695

Official results at https://london.diamondleague.com/programme-results/

Unfortunately you can't link directly to the 1 mile results. Scroll down to the table, select "1 Mile Men", then select "Reports", then "Race Analysis" and/or "Race Analysis Graphical". That leads to these two PDFs (not sure these links are stable):

https://ps-cache.web.swisstiming.com/node/binaryData/ATH_PRO...

British runner Josh Kerr breaks world record for mile which stood for 27 years