change tmp dir to see if github CI stops getting stuck here

cdsobs/cli/_copy_dataset.py

@@ -1,3 +1,4 @@
+import os
 from io import BytesIO
 from pathlib import Path
 from tempfile import NamedTemporaryFile
@@ -248,8 +249,9 @@ def copy_object(object_url):
             name = object_url.split("/")[-1]
             response = requests.get(object_url, stream=True)
             response.raise_for_status()
+            tmp_base = "/tmp" if os.getenv("GITHUB_ACTIONS") else "/dev/shm"
             with (
-                NamedTemporaryFile(dir="/dev/shm") as ntf,
+                NamedTemporaryFile(dir=tmp_base) as ntf,
                 BytesIO(response.content) as bc,
             ):
                 ntf.write(bc.read())