essai

Revision:
1:f2d4c846046a
diff -r b3f6eeee5292 -r f2d4c846046a .circleci/config.yml
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.circleci/config.yml	Sun Nov 15 20:00:37 2020 +0100
@@ -0,0 +1,18 @@
+# Python CircleCI 2.0 configuration file
+#
+# Check https://circleci.com/docs/2.0/language-python/ for more details
+#
+version: 2
+jobs:
+  build:
+    docker:
+      - image: mbedos/mbed-os-env:stable
+    working_directory: ~
+    steps:
+      - checkout:
+          path: mbed-os-example-blinky-baremetal
+      - run: |
+          cd mbed-os-example-blinky-baremetal
+          mbed deploy
+          mbed compile -t GCC_ARM -m K64F
+