mirror of
https://github.com/aljazceru/turso.git
synced 2025-12-24 19:44:21 +01:00
f276ff0b72
- Entire stdout+stderr was passed to both title and body for the github issue, resulting in a failure due to github's validation Fixes: - Pass only the line containing "simulation failed:" as title - Pass max 50 lines following title as body - Truncate title and body to 255 and 65536 chars respectively before posting github issue, just to be sure
Limbo Simulator Docker Runner
This directory contains the script that runs inside the limbo-sim Docker image. The script continuously runs the limbo-sim program in a loop until it encounters a panic, at which point it automatically creates a GitHub issue in the limbo repository.
What it does
- The limbo-sim image is built and pushed to ECR by .github/workflows/build-sim.yaml on every main commit
- When the container starts, this script:
- Runs the limbo-sim program with a random seed
- If a panic occurs:
- Captures the seed value and commit hash
- Creates a GitHub issue with reproduction steps
- Includes panic output and relevant metadata
- Continues running with a new seed until a panic occurs or TIME_LIMIT_MINUTES is reached
The script acts as the entrypoint for the Docker container, automatically starting the simulation loop when the container launches.