| Key | Value |
|---|---|
| benchmark-sha | 3a3356ca73a0c9ea040fc9a8cebe69f44b93181c |
| comment | Weekly benchmark of the main branch |
| compare-to | nightly, weekly, 2023-12-31-T23-03-00 |
| compare-to-resolved | 2024-03-15-T03-11-09, 2024-03-09-T03-09-09, 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.76.0 (07dca489a 2024-02-04) |
| shadow-label | Weekly benchmark |
| shadow-ref | main |
| shadow-sha | 6df5092858b72d3f4a655312b7670fcf80d601b3 |
| sim-id | 2024-03-16-T03-06-55 |
| sim-to-run | tgennet-1000 |
| tgen-ref | 816d68cd3d0ff7d0ec71e8bbbae24ecd6a636117 |
| timestamp | 1710558415 |
| trigger | schedule |
| update-symlink | weekly |
| workflow-name | Weekly TGen Benchmark |
