Make shell and slurm scheduler report crashes#13

Merged

BerengerBerthoul merged 14 commits intomasterfrom

dev_report_crash

Jan 17, 2025

Commits on Dec 17, 2024

report crash with shell scheduler
BerengerBerthoul
committed

Commits on Jan 2, 2025

Minor (cleaning shell_static_scheduler)
BerengerBerthoul
committed

Commits on Jan 3, 2025

report crash with SLURM scheduler
BerengerBerthoul
committed
process_worker: remove use of socket here. The socket messaging is done by send_report.py that is run after the test (even if it segfaults)
BerengerBerthoul
committed

Commits on Jan 7, 2025

Documentation update + minor improvements
BerengerBerthoul
committed

Commits on Jan 8, 2025

Commits on Jan 16, 2025

Commits on Jan 17, 2025