mirror of
https://github.com/tursodatabase/limbo.git
synced 2025-07-24 12:53:45 +00: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 |
||
|---|---|---|
| .. | ||
| bun.lock | ||
| docker-entrypoint.simulator.ts | ||
| Dockerfile.simulator | ||
| github.ts | ||
| levenshtein.test.ts | ||
| levenshtein.ts | ||
| logParse.ts | ||
| package.json | ||
| random.ts | ||
| README.MD | ||
| tsconfig.json | ||
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.