Unable to read repository at https://checkerframework.org/eclipse/content.xml

[Jack Mike]

Hello

I am trying to install the plugin as can be seen in your manual in this link
https://checkerframework.org/eclipse/manual/

But eclipse doesn't find the pluging and gives the following error:
Unable to read repository at https://checkerframework.org/eclipse/content.xml.
Unable to read repository at https://checkerframework.org/eclipse/content.xml.
PKIX path validation failed: java.security.cert.CertPathValidatorException: validity check failed

Any help or solution?

Best Regards,

[Michael Ernst]

Our certificate expired and we have had quite a problem in renewing it.  This problem is tracked at https://github.com/typetools/checker-framework/issues/5438 .  I'm sorry for the inconvenience.  We continue to hope it will be resolved soon.

-Mike

--

---
You received this message because you are subscribed to the Google Groups "Checker Framework discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to checker-framework-...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/checker-framework-discuss/c9db89b4-e8f1-4740-a4d6-4b7842111ba0n%40googlegroups.com.