Run CI tests for PR 1843#1849

Closed

alerickson wants to merge 2 commits intomasterfrom

requiredResource

Commits on Jul 7, 2025

Applied workaround suggested by Copilot, thanks bot! And some other fixes
o-l-a-v
committed

Commits on Aug 11, 2025

Add test for #1794
o-l-a-v
committed