Something is wrong with the checker-framework-discuss Google Group

[archiecobbs]

On 11/6/2025 I joined the checker-framework-discuss Google Group. If you sort members by join date, I'm currently at the top of the list.

On 11/7/2025 I sent an email "Simplified custom type restrictions with runtime verification" to checker-framework-discuss@googlegroups.com. It never showed up on the website (here).

At first I assumed that this was because the email was just waiting in quarantine. But then an hour or two later someone on the list replied to my email privately, so at least one person must have received it. But after two weeks it still hasn't appeared on the website. So I don't know what the status of that original email is and there's no way for me to tell.

Today 11/20/2025 I resent the email. After a week, it too has yet to show up on the website.

I can't tell what the heck is going on, whether these emails are being read by anyone or not, etc.

Please let me know how I can help debug the problem.

Thanks.

[vamsi5410]

@jayvdb Hi! I’d be happy to contribute and help with this project.
If there are any open issues suitable for contributors or something I can pick up next, please let me know and I’d be glad to work on it 🙂

[shubham5080]

Hi i am looking to open source ,please guide me .

[archiecobbs]

@mernst can you clarify what the problem with the mailing list was and whether/how it got fixed?

Thanks.