ci: Fix leftover use of old ECMULTGENPRECISION #1829

1. 
   real-or-random commented at 7:46 am on February 25, 2026: contributor
2. ci: Fix leftover use of old ECMULTGENPRECISION 79e9f25237
3. real-or-random added the label bug on Feb 25, 2026
4. real-or-random added the label ci on Feb 25, 2026
5. hebasto approved
6. 
   hebasto commented at 9:45 am on February 25, 2026: member

   ACK 79e9f252379d426ff4da586c9a1fcae35287587f, it looks like there was a silent merge conflict between #1058 and #1488.
7. real-or-random merged this on Feb 25, 2026
8. real-or-random closed this on Feb 25, 2026

   ---

Contributors
real-or-random hebasto

Labels
bug ci