There would be no last-minute surprises, not that some delegates didn't try. At a little after 8 p.m., House Speaker Paul Ryan declared that Donald J. Trump had enough delegate votes to claim the formal nomination as the Republican Party's candidate for president.
The votes went: 1,725 for Trump, 475 for Sen. Ted Cruz, 120 for Gov. John Kasich, 114 for Sen. Marco Rubio, seven for Ben Carson, three for Jeb Bush, and two for Rand Paul.
There was a delay and some controversy because some delegates from Alaska and Washington, D.C., had their votes counted for Trump despite being bound to other candidates during the primaries. It turned out, though, that the primary rules for those two declared that if there were only one candidate for president in play at the convention, all those votes would go to that candidate rather than whomever they were originally bound to. The rule was explained to the delegates, who were upset to have their votes changed, before Ryan declared Trump the nominee.
Of course, there's a lot more to come. Reason writers are in the joint reporting on their experiences there, so stay tuned for much, much more. We've got all our convention coverage organized here.