diff options
| author | gatecat <gatecat@ds0.me> | 2021-09-29 15:10:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-29 15:10:28 +0100 |
| commit | bd137a8b50c220b2547030a4618aeefead2a1c38 (patch) | |
| tree | e68e2aaafac168b97e25d9962230bf245c7c77a9 /.github | |
| parent | 8b3e6711bcdab8c59bfa30f5eff8ed0bfa1bc302 (diff) | |
| parent | 1db3a87c62acc79de0b3c7bd8c4c155c61c864ee (diff) | |
| download | nextpnr-bd137a8b50c220b2547030a4618aeefead2a1c38.tar.gz nextpnr-bd137a8b50c220b2547030a4618aeefead2a1c38.tar.bz2 nextpnr-bd137a8b50c220b2547030a4618aeefead2a1c38.zip | |
Merge pull request #810 from antmicro/write-timing-report
Timing report in JSON format
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions