search

emichael / dslabs

Distributed Systems Labs and Framework
https://ellismichael.com/dslabs/
1.23k stars 339 forks source link

Add Checker Framework nullness checker #62

Open emichael opened 10 months ago

emichael commented 10 months ago
  1. Add a GitHub action check that runs the nullness checker
  2. Standardize on a set of null/notnull annotations to use, ban all uses of others with an automatic check
mernst commented 10 months ago

Let me know if you need any help with this.