fix(ci): use correct rule name for debianrepo workflow (#550)

See https://github.com/ooni/probe/issues/1840
This commit is contained in:
Simone Basso 2021-10-21 11:04:27 +02:00 committed by GitHub
parent d44970a43f
commit b7b87ee0de
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,5 +1,5 @@
# debianrepo ensures we can install on debian with the official build instructions
name: linux
name: debianrepo
on:
push:
branches: