fix

GenericMappingTools · Nov 1, 2023 · f083bdf · f083bdf
1 parent 3440fdd
commit f083bdf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/check-mirrors.yml b/.github/workflows/check-mirrors.yml
@@ -43,7 +43,7 @@ jobs:
         report += "|---|---|---|\n"
         for mirror in mirrorlist:
             mirror_url = f"http://{mirror}.generic-mapping-tools.org"
-            print(stderr, f"Checking {mirror_url}")
+            print(f"Checking {mirror_url}")
             try:
                 r = requests.get(f"{mirror_url}/gmt_data_server.txt", headers={"User-Agent": "Mozilla/5.0"})
             except requests.exceptions.ConnectionError: