Here is an update. On Wednesday, with the House having come back into session this first week of June, the vote on the Iran War resolution took place. The resolution passed by a vote of 215 to 208. Breaking down the vote in a Reuters article, Patricia Zengerle wrote:

The four House Republicans who voted for the war powers resolution were Representatives Tom Barrett of Michigan, Warren Davidson of Ohio, Brian Fitzpatrick of Pennsylvania and Thomas Massie of Kentucky.

No Democrats voted against it. Seven House members did not vote.

House members were able to use the War Powers Resolution to force consideration of the Iran War termination resolution contrary to the wishes of House leadership.

But, before supporters of a noninterventionist US foreign policy celebrate too much, they should read on in Zengerle's article to where she reports that also on Wednesday House members moved toward escalating US involvement in the Ukraine War, using another procedural mechanism to bypass leadership.