Build #6840 (Apr 27, 2024, 10:52:14 AM)

1. [JuPedSim] Added a little bit of documentation. (details / githubweb)

Branch indexing

This run spent:

• 1 min 3 sec waiting;
• 1 hr 54 min build duration;
• 1 hr 54 min total from scheduled to completion.

• main