aboutsummaryrefslogtreecommitdiff
path: root/changes/ticket40030
AgeCommit message (Collapse)Author
2020-07-13Remove check-cocci from check-local target.Nick Mathewson
check-cocci is still a good idea -- perhaps as a cron job? But doing it as part of our regular tests has just been confusing, especially to volunteers who shouldn't have to become coccinelle experts in order to get their patches through our CI. Closes #40030.