origin/trunk-#5367 (Jul 2, 2025, 3:07:53 PM)

Started by upstream project parallel-build build number 5367
originally caused by:

• Started by GitHub push by nojb

• origin/trunk

1. Make List.{take,drop} total (#14124) (details / githubweb)