Skip to content

Fix: Change default time in launch.py to 0 (no time limit) #476

Fix: Change default time in launch.py to 0 (no time limit)

Fix: Change default time in launch.py to 0 (no time limit) #476

Triggered via push November 16, 2023 21:56
Status Success
Total duration 10m 35s
Artifacts
Continuous-Integration
10m 27s
Continuous-Integration
Fit to window
Zoom out
Zoom in