From 77a95af478ab275bb4cee4db327dc9957dc94b07 Mon Sep 17 00:00:00 2001
From: krcroft <krcroft@users.noreply.github.com>
Date: Tue, 10 Dec 2019 14:09:40 -0800
Subject: [PATCH] Stop submitting builds to Coverity for now

---
 .github/workflows/{ => dormant}/coverity.yml | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{ => dormant}/coverity.yml (100%)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/dormant/coverity.yml
similarity index 100%
rename from .github/workflows/coverity.yml
rename to .github/workflows/dormant/coverity.yml