Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-08-29 | parallel-bootstrap-traverser.py: Add type hints and fix style | Paul 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-18 | bootstrap traverser: prefer hard over symlinks | Klaus 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-18 | bootstrap-traverser: Support actions without inputs | Oliver Reiche | |
2022-10-13 | Add a parallel version of the bootstrap graph traverser | Oliver Reicher | |