Update CI tests

Signed-off-by: Krzysztof Boronski <kboronski@antmicro.com>

.github/sftest.json

@@ -1,5 +1,5 @@
 {
-    "default_platform": "xc7a50t",
+    "default_part": "XC7A35TCSG324-1",
     "values": {
         "top": "top"
     },
@@ -10,25 +10,7 @@
         "synth_log": "synth.log",
         "pack_log": "pack.log"
     },
-    "xc7a200t": {
-        "default_target": "bitstream",
-        "dependencies": {
-            "xdc": [
-                "xc7/counter_test/arty200.xdc"
-            ],
-            "build_dir": "build/arty_200"
-        }
-    },
-    "xc7a100t": {
-        "default_target": "bitstream",
-        "dependencies": {
-            "xdc": [
-                "xc7/counter_test/arty.xdc"
-            ],
-            "build_dir": "build/arty100"
-        }
-    },
-    "xc7a50t": {
+    "XC7A35TCSG324-1": {
         "default_target": "bitstream",
         "dependencies": {
             "build_dir": "build/arty_35",

.github/workflows/Pipeline.yml

@@ -160,7 +160,7 @@ jobs:
           . ./.github/scripts/activate.sh
 
           cd f4pga-examples
-          f4pga build --flow ../.github/sftest.json -t bitstream
+          f4pga build --flow ../.github/sftest.json
 
       - name: '📤 Upload artifact: Arty 35 bitstream'
         uses: actions/upload-artifact@v3
@@ -168,7 +168,6 @@ jobs:
           name: arty_35-Bitstream-pyF4PGA
           path: f4pga-examples/build/arty_35/top.bit
 
-
   PYTHONPATH:
     runs-on: ubuntu-latest
     name: '🐍 PYTHONPATH'