From owner-freebsd-current@freebsd.org Tue Oct 27 20:11:22 2015 Return-Path: Delivered-To: freebsd-current@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 9E64681C4 for ; Tue, 27 Oct 2015 20:11:22 +0000 (UTC) (envelope-from asomers@gmail.com) Received: from mail-ob0-x22d.google.com (mail-ob0-x22d.google.com [IPv6:2607:f8b0:4003:c01::22d]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (Client CN "smtp.gmail.com", Issuer "Google Internet Authority G2" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 6A1081459 for ; Tue, 27 Oct 2015 20:11:22 +0000 (UTC) (envelope-from asomers@gmail.com) Received: by obctp1 with SMTP id tp1so153188304obc.2 for ; Tue, 27 Oct 2015 13:11:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=sQGm1XQMv0leaTIdX1e8kGPq3T12QYVlDox7+NxFX78=; b=HEL5N3aIHoq1Z8oTFYQ6nNfVYYzjp2m2d6PZcvmUsTKqyaFHuUBSVzcLSDU0nJrvtM NuA61ooWSMuzPweMgjWlnINpSEh9LEkAdnB7wpglQsRnyK21VmoTJ9TvPrQ7X7/Ea2Ew 6D5tW533wulvR9Q+3meONh0bEIa/OzzNl5G6By6uzSPk5+ASlPmH7cvyyI1gRkXUDZiM 49uyEn2UIcqwlPsz85NAUGWoMyPuTtAl4fa4djWgz2HWHfdPpDpwBfk+llJ5Somz/RNx T/symacxwJYhugvsCrLM+Q/1ItGkZMZKWo9/s1zcsLpZJ+1NDJ05GiMAQVLEDdL+y4hB juRQ== MIME-Version: 1.0 X-Received: by 10.60.125.165 with SMTP id mr5mr5880581oeb.60.1445976681780; Tue, 27 Oct 2015 13:11:21 -0700 (PDT) Sender: asomers@gmail.com Received: by 10.202.1.206 with HTTP; Tue, 27 Oct 2015 13:11:21 -0700 (PDT) Date: Tue, 27 Oct 2015 14:11:21 -0600 X-Google-Sender-Auth: OJBWqMDwTsM7_dZC0iSo9AD7sno Message-ID: Subject: Coverity down? From: Alan Somers To: FreeBSD CURRENT Content-Type: text/plain; charset=UTF-8 X-BeenThere: freebsd-current@freebsd.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: Discussions about the use of FreeBSD-current List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 27 Oct 2015 20:11:22 -0000 I just noticed that our last Coverity scan happened on either July-6 (according to my inbox) or June-26 (according to Coverity's website). Prior to that, we seemed to get scanned about once per week. Does anybody know why we haven't been scanned for so long? I can't figure out what triggers a scan, but it seems like it should've happened by now. -Alan