summaryrefslogtreecommitdiff
path: root/bin/parallel-bootstrap-traverser.py
AgeCommit message (Collapse)Author
2023-08-29parallel-bootstrap-traverser.py: Add type hints and fix stylePaul Cristian Sarbu
For maximum compatibility, we use the uppercase types from the typing package instead of the built-in types, therefore compliant with PEP 484 and PEP 526. As unfortunately there is no proper JSON typing option that requires many casts, we use a more lax typing for JSON inputs, but enforce return types in order to implicitly infer the actual format of an input JSON variable (dict, list, string etc.).
2023-04-18bootstrap traverser: prefer hard over symlinksKlaus Aehlig
... as in this way, the setup is more close to the one used in our build tool. In particular, tools that search for auxilliary files relativ to their own location get confused less.
2023-04-18bootstrap-traverser: Support actions without inputsOliver Reiche
2022-10-13Add a parallel version of the bootstrap graph traverserOliver Reicher