From fedcf8dafbfc31bbeb0dfef2a3df52ac1984db48 Mon Sep 17 00:00:00 2001
From: J08nY <johny@neuromancer.sk>
Date: Fri, 3 Sep 2021 09:35:36 +0200
Subject: [PATCH] Bigger timeout for OID check.

---
 .github/workflows/oids.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/oids.py b/.github/workflows/oids.py
index 92c8da8..7d790dc 100755
--- a/.github/workflows/oids.py
+++ b/.github/workflows/oids.py
@@ -19,7 +19,7 @@ if __name__ == "__main__":
                 print(f"Curve {category}/{curve['name']} has empty OID value.")
                 continue
             url = f"http://oid-info.com/get/{oid}"
-            r = requests.get(url)
+            r = requests.get(url, timeout=5)
             if r.status_code != 200:
                 print(f"Curve {category}/{curve['name']} has bad OID, return code {r.status_code}!")
                 result = 1