It’s not the first time that in a PR, the Netlify build indicate “In progress” for hours in GitHub when on Netlify.com it’s “finished”:
Netlify / Header rules - letsencrypt started 20h 19m 7s ago
But on netlify.com it’s finished since a long time:
Build time: 38s. Total deploy time: 50s
Build started at 10:12:04 PM and ended at 10:12:42 PM.
10:13:26 PM: Finished processing build request in 1m21.354805748s
The previous time it was on https://github.com/letsencrypt/website/runs/465941656