diff options
author | Miodrag Milanović <mmicko@gmail.com> | 2022-03-11 19:02:37 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-11 19:02:37 +0100 |
commit | 532343dcfa3af45c1f4fe6fbda483e9fdf822b33 (patch) | |
tree | a371d1d0c3cd11b8d338bf14797afe4f59c6b6b1 /backends/json/json.cc | |
parent | 04de9bb6551307421ce21ba87a98d50c2d10b07a (diff) | |
parent | 5e7ea57d8efbcc06e1704f3ccc437ebfd8c53819 (diff) | |
download | yosys-532343dcfa3af45c1f4fe6fbda483e9fdf822b33.tar.gz yosys-532343dcfa3af45c1f4fe6fbda483e9fdf822b33.tar.bz2 yosys-532343dcfa3af45c1f4fe6fbda483e9fdf822b33.zip |
Merge pull request #3222 from zachjs/prune-linux-ci
Prune Linux CI builds
Diffstat (limited to 'backends/json/json.cc')
0 files changed, 0 insertions, 0 deletions