Cast REFRESH_INTERVAL to int

mmz-srf · May 7, 2024 · bc6df83 · bc6df83
1 parent d9a2d4f
commit bc6df83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/runner-exporter.py b/src/runner-exporter.py
@@ -6,7 +6,7 @@
 from time import sleep
 
 # Read environment variables
-REFRESH_INTERVAL = os.environ.get("REFRESH_INTERVAL", 20)
+REFRESH_INTERVAL = int(os.environ.get("REFRESH_INTERVAL", 20))
 PRIVATE_GITHUB_TOKEN = os.environ["PRIVATE_GITHUB_TOKEN"]
 OWNER = os.environ["OWNER"]