From f80751eaaa45be05ed7792c3e3f876bfe9ee2746 Mon Sep 17 00:00:00 2001
From: Pavel Březina <pbrezina@redhat.com>
Date: Nov 14 2019 08:19:55 +0000
Subject: ci: add Fedora 31


Reviewed-by: Alexey Tikhonov <atikhono@redhat.com>

---

diff --git a/Jenkinsfile b/Jenkinsfile
index 9bd427e..fc43db1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,6 +8,7 @@ def systems = [
   'fedora28',
   'fedora29',
   'fedora30',
+  'fedora31',
   'fedora-rawhide',
   'debian10',
 ]