Build #3028 (Sep 23, 2025, 11:57:07 PM)

1. Use Const_immstring for all constant strings created by the compiler (commit: 0da3756) (details / githubweb)
2. Introduce Lambda.lambda_of_const (commit: 60e044e) (details / githubweb)
3. Introduce Lambda.constant type (commit: 59ae1d7) (details / githubweb)
4. Remove Lambda.Const_base indirection (commit: 5eefdf2) (details / githubweb)
5. Changes for PR14260 (commit: 21ea519) (details / githubweb)

Started by GitHub push by lthls

• origin/trunk