Talis experienced a major incident on January 28, 2025, lasting 17h 42m. The incident has been resolved; the full update timeline is below.
Update timeline
- identified Jan 28, 2025, 05:39 PM UTC
An issue has occured whereby the Lean Library extension has stopped working on the Opera browser. This doesn't impact other browsers. The cause has been identified and a solution put in place. We are currently waiting for the version to be approved on the Opera browser.
- resolved Jan 29, 2025, 11:21 AM UTC
This incident has been resolved.