Merge remote-tracking branch 'origin/develop'

runtimeverification · Jul 24, 2024 · bd0e897 · bd0e897
2 parents f9c131b + ae6d419
commit bd0e897
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pyk/src/pyk/utils.py b/pyk/src/pyk/utils.py
@@ -681,7 +681,7 @@ def __init__(self, bug_report: Path) -> None:
     def add_file(self, finput: Path, arcname: Path) -> None:
         if str(finput) not in self._file_remap:
             self._file_remap[str(finput)] = str(arcname)
-            with tarfile.open(self._bug_report, 'a') as tar:
+            with tarfile.open(self._bug_report, 'a', format=tarfile.GNU_FORMAT) as tar:
                 tar.add(finput, arcname=arcname)
                 _LOGGER.info(f'Added file to bug report {self._bug_report}:{arcname}: {finput}')