adef5b26fb
* [web] gracefully handle broken histories when compiling from history * [web] trim down schema GitOrigin-RevId: 97d59b31eb25644d7de1194a45281def6982b130