| Key | Value |
|---|---|
| benchmark-sha | 5b632bed0c9236b4c1857fa43fcca25664143ab1 |
| comment | Weekly benchmark of the main branch |
| compare-to | nightly, weekly, 2023-12-31-T23-03-00 |
| compare-to-resolved | 2024-11-15-T03-24-32, 2024-11-09-T03-10-57, 2023-12-31-T23-03-00 |
| container | debian:bookworm-20231218-slim |
| dry-run | false |
| repeat | 1 |
| results-dir | tgen |
| runner-label | cora |
| runtime-args | --parallelism 32 |
| rust-version | rustc 1.81.0 (eeb90cda1 2024-09-04) |
| shadow-label | Weekly benchmark |
| shadow-ref | main |
| shadow-sha | 79e9fd6f72ee00be6921ba1bcf1278a34a261868 |
| sim-id | 2024-11-16-T03-18-57 |
| sim-to-run | tgennet-1000 |
| tgen-ref | 816d68cd3d0ff7d0ec71e8bbbae24ecd6a636117 |
| timestamp | 1731727137 |
| trigger | schedule |
| update-symlink | weekly |
| workflow-name | Weekly TGen Benchmark |
