BOISE, Idaho (AP) — All four of Idaho’s Republican electors on Monday cast their ballots for President Donald Trump and Vice President Mike Pence.

Due to COVID-19 concerns, the formal but brief ceremony at the Idaho Statehouse was limited to mainly Republican Gov. Brad Little, Republican Secretary of State Lawerence Denney and the four electors. Little and Denney wore face coverings during the 20-minute meeting. Three electors wore no masks and one wore a mask but took it off to speak.

Trump got 64% of the vote in the Nov. 3 presidential election, easily claiming red-state Idaho’s four electoral votes. But Democrat Joe Biden won enough other states to get the majority of electoral votes to push him past Trump.

Trump has refused to concede, drawing increased interest in the Electoral College process.

Trump and attorneys have put forward false allegations about mail-in ballots and voting in four battleground states. Lawsuits filed by him or on his behalf have been rejected by state and federal courts, including the U.S. Supreme Court.

Several of the Idaho electors appeared to reference the unsubstantiated allegations.

"The rest of the country could take some lessons and learn from the state of Idaho," said Rod Beck, a Republican former state senator. “We had a smooth-running operation, and our operation is trusted.”

Melinda Smyser, also a former Republican state senator who is now the director of the Idaho Office of Drug Policy, did not appear ready to say the election had been decided. She wore a mask but removed it to speak.

“We’re a red state and we’re fortunate," she said. “Go Donald!”

Former Republican U.S. Rep. Raul Labrador was more subdued in voting for Trump and Pence.

“I’m grateful that our nation was led by them for the last four years,” he said, noting various accomplishments by Trump, and in particular Trump's appointment of three conservative judges to the U.S. Supreme Court.

Lt. Gov. Janice McGeachin, a Republican wearing a black hat with a Trump pin on it, recalled listening to Trump announce he was running for president in June 2015.

“I listened the whole time, and what he had to say really spoke to my heart,” she said.

The Electoral College formally elects the president, and each state has as many votes as members in Congress.

A candidate must win 270 of the 538 votes to be elected. All states’ electors were meeting Monday. The results will be sent to Washington and tallied in a Jan. 6 joint session of Congress.

Little opened the meeting, which was streamed live, by noting that the electors' votes wrap up the state's electoral process.

“We should celebrate the incredible Idaho turnout and all the efforts of our elections officials, both state and local, volunteers and all the voters to express the will of the people in a safe and secure manner,” he said.

More than 81% of Idaho's voters participated in the Nov. 3 election, resulting in nearly 880,000 ballots, a record.