nightly-2025-01-06

Changes since nightly-2025-01-05:

Full commit log

• 78ddee9 feat: release checklist script (#6542)
• 2ed77f3 feat: attribute [grind] (#6545)
• 76f883b fix: remove unused -static-libgcc MinGW linker arg (#6535)
• 675244d feat: [grind_eq] attribute for the grind tactic (#6539)
• fd091d1 feat: pattern normalization in the grind tactic (#6538)
• 7b29f48 fix: E-matching thresholds in the grind tactic (#6536)
• fb506b9 fix: allow projections in E-matching patterns (#6534)