Giacomo Vercesi 38cd15d755 fetch_debuginfo: fix race condition ...

Fix a possible race condition that could arise if multiple instances of
`fetch-debuginfo` are run in parallel. This avoids the same file being
written by multiple processes and being moved early. This avoids a
`FileNotFoundError` and possibly data corruption due to the concurrent
situation.

2024-11-13 09:28:12 +01:00

..

internal

fetch_debuginfo: fix race condition

2024-11-13 09:28:12 +01:00

model

Adopt reworked model::Type

2024-06-27 11:05:51 +02:00

pipeline_description

Introduce PipelineDescription

2023-09-14 15:44:33 +02:00

tupletree

python: create python wheels

2023-12-12 14:52:22 +01:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

py.typed

python: create python wheels

2023-12-12 14:52:22 +01:00