diff options
| author | David Shah <dave@ds0.me> | 2020-07-02 13:32:30 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-02 13:32:30 +0100 |
| commit | 137241cfef385a68d2ce732a5b3283458790543d (patch) | |
| tree | bff5c42b4c43f89281a6ce967411785a17db3d25 /gui/resources | |
| parent | 4a2964c91568c63928f1d916aef1a1b84a9e608d (diff) | |
| parent | 72786e249a2c099b3434a270840d007f7178105c (diff) | |
| download | nextpnr-137241cfef385a68d2ce732a5b3283458790543d.tar.gz nextpnr-137241cfef385a68d2ce732a5b3283458790543d.tar.bz2 nextpnr-137241cfef385a68d2ce732a5b3283458790543d.zip | |
Merge pull request #463 from YosysHQ/fix-archcheck
Fix arch checks, and add these to CI
Diffstat (limited to 'gui/resources')
0 files changed, 0 insertions, 0 deletions