diff options
| author | J08nY | 2021-09-03 09:35:36 +0200 |
|---|---|---|
| committer | J08nY | 2021-09-03 09:35:36 +0200 |
| commit | fedcf8dafbfc31bbeb0dfef2a3df52ac1984db48 (patch) | |
| tree | 44b84699ff2c030bc55490c751f1611ea3591b40 | |
| parent | 72e1894635f67e6c5bec964c6e1dc1f6a0f63043 (diff) | |
| download | std-curves-fedcf8dafbfc31bbeb0dfef2a3df52ac1984db48.tar.gz std-curves-fedcf8dafbfc31bbeb0dfef2a3df52ac1984db48.tar.zst std-curves-fedcf8dafbfc31bbeb0dfef2a3df52ac1984db48.zip | |
Bigger timeout for OID check.
| -rwxr-xr-x | .github/workflows/oids.py | 2 |
1 files changed, 1 insertions, 1 deletions
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 |