Closed github-actions[bot] closed 2 years ago
Hi there, commit 9df45b62 has been pushed. Here is the comparison with the commit currently used.
🚀THERE ARE NO CONFLICTS🚀 Consider setting COMMIT=9df45b62a4f88f4d0e29c7f6ef2974e80939618b in the setup script.
COMMIT=9df45b62a4f88f4d0e29c7f6ef2974e80939618b
These are just documentation edits
Hi there, commit 9df45b62 has been pushed. Here is the comparison with the commit currently used.
🚀THERE ARE NO CONFLICTS🚀 Consider setting
COMMIT=9df45b62a4f88f4d0e29c7f6ef2974e80939618b
in the setup script.