origin/trunk-#4799 (Jul 9, 2025, 5:02:18 PM)

Started by upstream project main build number 4799
originally caused by:

• Started by GitHub push by nojb

• origin/trunk

1. matching: fix some non-deterministic code generation (#14091) (details / githubweb)