origin/trunk-#5424 (Sep 4, 2025, 1:01:18 PM)

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

• Started by GitHub push by Octachron

• origin/trunk

1. functor error messages: don't forget equality (details / githubweb)