| 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-02-T03-12-08, 2024-08-03-T03-07-01, 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.0 (051478957 2024-07-21) |
| shadow-label | Nightly benchmark |
| shadow-ref | main |
| shadow-sha | 916019d6747e54ac234d3a9fb681bcdc2992600a |
| sim-id | 2024-08-06-T03-12-09 |
| sim-to-run | tgennet-1000 |
| tgen-ref | 816d68cd3d0ff7d0ec71e8bbbae24ecd6a636117 |
| timestamp | 1722913929 |
| trigger | schedule |
| update-symlink | nightly |
| workflow-name | Nightly TGen Benchmark |
