From b7b87ee0de3b484610700b024f3a268569ae1cda Mon Sep 17 00:00:00 2001
From: Simone Basso <bassosimone@gmail.com>
Date: Thu, 21 Oct 2021 11:04:27 +0200
Subject: [PATCH] fix(ci): use correct rule name for debianrepo workflow (#550)

See https://github.com/ooni/probe/issues/1840
---
 .github/workflows/debianrepo.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/debianrepo.yml b/.github/workflows/debianrepo.yml
index 32414e7..383b178 100644
--- a/.github/workflows/debianrepo.yml
+++ b/.github/workflows/debianrepo.yml
@@ -1,5 +1,5 @@
 # debianrepo ensures we can install on debian with the official build instructions
-name: linux
+name: debianrepo
 on:
   push:
     branches: