November 12, 2024

Minor bug fix

We fixed a bug that occasionally caused the Run AutoCheck button to be disabled.

‍