| Key | Value |
|---|---|
| benchmark-sha | 3a3356ca73a0c9ea040fc9a8cebe69f44b93181c |
| comment | Nightly benchmark of the main branch |
| compare-to | nightly, weekly, 2023-12-31-T23-03-00 |
| compare-to-resolved | 2024-08-15-T03-12-17, 2024-08-10-T03-08-44, 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.80.1 (3f5fd8dd4 2024-08-06) |
| shadow-label | Nightly benchmark |
| shadow-ref | main |
| shadow-sha | f042989ffc5f9f9cf1f0262f4a5102b58902a209 |
| sim-id | 2024-08-16-T03-14-04 |
| sim-to-run | tgennet-1000 |
| tgen-ref | 816d68cd3d0ff7d0ec71e8bbbae24ecd6a636117 |
| timestamp | 1723778044 |
| trigger | schedule |
| update-symlink | nightly |
| workflow-name | Nightly TGen Benchmark |
