* Animate recompile button when autocompile is waiting * Add code-check failed notice to the new compile UI GitOrigin-RevId: 83b62f41438e8e5b94bd893c222bec37745c0f57