| 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-04-18-T03-10-11, 2024-04-13-T03-02-42, 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 | Nightly benchmark |
| shadow-ref | main |
| shadow-sha | 60c815db1e1e655329ce3ee9f2ae8bf927e50775 |
| sim-id | 2024-04-19-T03-10-10 |
| sim-to-run | tgennet-1000 |
| tgen-ref | 816d68cd3d0ff7d0ec71e8bbbae24ecd6a636117 |
| timestamp | 1713496210 |
| trigger | schedule |
| update-symlink | nightly |
| workflow-name | Nightly TGen Benchmark |
