add zedboard platform to CI

litex_boards/platforms/zedboard.py

@@ -77,6 +77,13 @@ _io = [
         Subsignal("vrn", Pins("M7")),
         Subsignal("vrp", Pins("N7")),
         Subsignal("we_n", Pins("R4"))
+    ),
+
+    # serial (just to make CI pass)
+    # unfortunately the only USB UART is hard-wired to the ARM CPU
+    ("serial", 0,
+        Subsignal("tx", Pins("-")),
+        Subsignal("rx", Pins("-"))
     )
 ]
 

test/test_targets.py

@@ -63,6 +63,9 @@ class TestTargets(unittest.TestCase):
         # Xilinx Kintex Ultrascale
         platforms.append("kcu105")
 
+        # Xilinx Zynq-7000
+        platforms.append("zedboard")
+
         # Xilinx Zynq Ultrascale+
         platforms.append("zcu104")