Brian
Brian
@jelledevleeschouwer Pinging to check in on a possible followup to this PR?
@willssong2018 Pinging to check in on a possible followup to this PR?
@caramelli Pinging to check in on a possible followup to this PR?
Hi again--to update, previously, we raised PR https://github.com/monkey/monkey/pull/402 for a bug found with CodeQL, which was merged. **We believe this is conclusive evidence that CodeQL would be beneficial for** `monkey`.
@pwhelan @edsiper Pinging to check in on a possible followup to this PR?
@leonardo-albertovich Do you mind elaborating on 'unnecessary disruptions'? As for testing, on our own fork of `monkey`, here is a snippet of the results:  For the dismissal of any...
@yumeng5 Pinging to check in on a possible followup to this PR?
@sepfy Pinging to check in on a possible followup to this PR?
@VincentWei Pinging to check in on a possible followup to this PR?
@0x1abin Pinging to check in on a possible followup to this PR?