From 3ee0f6371d77db712dd131ac8a4e98672a63c81c Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Mon, 21 Sep 2020 09:25:02 -0400
Subject: [PATCH] gitlab-ci: Add all-bugs-are-fatal on hardened and integration
 builds.

---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a719ef2ceb..7fd07b9ed9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -112,6 +112,7 @@ debian-hardened:
   image: debian:testing
   <<: *debian-template
   variables:
+    ALL_BUGS_ARE_FATAL: "yes"
     HARDENING: "yes"
     CC: "clang"
   script:
@@ -155,6 +156,7 @@ debian-integration:
     CHECK: "no"
     CHUTNEY: "yes"
     STEM: "yes"
+    ALL_BUGS_ARE_FATAL: "yes"
   script:
     - ./scripts/ci/ci-driver.sh
 
@@ -191,7 +193,6 @@ debian-disable-dirauth:
   script:
     - ./scripts/ci/ci-driver.sh
 
-
 #####
 # No-relay mode
 debian-disable-relay: