just micropython in ci

.gitlab-ci.yml

+image: "debian"
+
+build:
+    stage: build
+    before_script:
+        - apt update -qq && apt install -y -qq gcc-arm-none-eabi python3-pip git
+        - pip3 install crc16
+        - ln -s /usr/bin/python3 /usr/bin/python
+    script:
+        - git clone --branch wip-bootstrap https://git.card10.badge.events.ccc.de/annejan/firmware.git
+        - make -C ports/card10 SDK_LOCATION=`pwd`/firmware/sdk

README.md

@@ -8,7 +8,6 @@ Original README in [`README-OLD.md`](./README-OLD.md).
 
 Build the card10 port using
 ```bash
-cd ports/card10
-make SDK_LOCATION=/path/to/firmware/sdk
+make -C ports/card10 SDK_LOCATION=/path/to/firmware/sdk
 ```
 If everything goes well, you'll end up with a file `ports/card10/build/firmware.elf`.