* Switch to deepseek/deepseek-v4-flash-0731 for the release script * Make the change in the workflow file too