Giacomo Vercesi 087192cac4 mass-testing: add max_rss to database ...

Add the `max_rss` column to the database generated by the `revng
mass-testing generate-report` command.

2025-06-04 13:30:42 +02:00

..

generate_report

mass-testing: add max_rss to database

2025-06-04 13:30:42 +02:00

__init__.py

python: remove relative imports

2025-05-05 16:02:40 +02:00

configure.py

mass-testing configure: add env to sample

2025-06-04 13:30:42 +02:00

run.py

mass-testing run: auto-detect max-jobs

2025-06-04 13:30:42 +02:00