Add lines for NullAway bugs to status checks

njit-jerse / specimin

SPECIfication MINimizer. A different kind of slicer for Java.

MIT License

3 stars 5 forks source link

Closed kelloggm closed 2 months ago

kelloggm commented 2 months ago

@theron-wang I expect this to pass CI this time. Can you double-check that it looks correct and then approve? Thanks.