Installing ODBC Driver 17 for SQL Server in Streamlit sharing

In case anyone stumbles across this topic, it now has a fix - described here: How to add an ODBC driver to streamlit cloud?. (Note the comment about potentially needing to delete and redeploy your app to get it to work.)