origin/trunk-#4769 (Jun 20, 2025, 7:01:34 AM)

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

• Started by GitHub push by nojb

• origin/trunk

1. stdlib: Option.{for_all, exists} (#13920) (details / githubweb)