Updated documentation such that it correctly displays "int_" now. Added additional typecheck and possibility to use an integer as id (#1635)

Author: PaulJonasJost

pypesto/history/hdf5.py

@@ -479,8 +479,8 @@ def _editable(self) -> bool:
     @staticmethod
     def from_history(
         other: HistoryBase,
-        file: Union[str, Path],
-        id_: str,
+        file: str | Path,
+        id_: str | int,
         overwrite: bool = False,
     ) -> "Hdf5History":
         """Write some History to HDF5.
@@ -491,7 +491,7 @@ def from_history(
             History to be copied to HDF5.
         file:
             HDF5 file to write to (append or create).
-        id_:
+        ``id_``:
             ID of the history.
         overwrite:
             Whether to overwrite an existing history with the same id.
@@ -501,6 +501,12 @@ def from_history(
         -------
         The newly created :class:`Hdf5History`.
         """
+        if isinstance(id_, int):
+            id_ = str(id_)
+        if not isinstance(id_, str):
+            raise ValueError(
+                f"ID must be a string or integer, not {type(id_)}"
+            )
         history = Hdf5History(file=file, id=id_)
         history._f = h5py.File(history.file, mode="a")