#693 (Dec 19, 2025, 12:31:02 AM)

Started by timer

This run spent:

• 0.14 sec waiting;
• 45 min build duration;
• 45 min total from scheduled to completion.

• refs/remotes/origin/develop

1. Add missing denorm_min trait for half_t and bhalf_t (commit: 5b1d0df) (details / githubweb)
2. Add the values computed by masterleinad as comments (commit: a893420) (details / githubweb)