Resolved after 17 hours 42 minutes, on January 28, 2025.
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.
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.
Your product runs on more than Talis
Add the vendors you depend on and get one message when any of them reports trouble. Free for 3 vendors, no card.