introduce github actions

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
new file mode 100644 (file)
index 0000000..ba48557
--- /dev/null
+++ b/.github/workflows/main.yml
@@ -0,0 +1,16 @@
+name: Build
+
+on: [pull_request, push]
+
+jobs: 
+  build:
+    container:
+      image: ghcr.io/armmbed/mbed-os-env:latest
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Compile Starter Project
+        run: make
+        working-directory: 'apps/beats-time/make'
+

diff --git a/make.mk b/make.mk
index f6a37c7e809a9d772a34422f98a34dfa264cd051..f130173369ff1ecd969bdd5cd10e107284dcae47 100644 (file)
--- a/make.mk
+++ b/make.mk
@@ -20,7 +20,8 @@ else
   MKDIR = mkdir
 endif
 
-CFLAGS += -W -Wall --std=gnu99 -Os
+CFLAGS += -W -Wall -Wextra -Wmissing-prototypes -Wmissing-declarations
+CFLAGS += --std=gnu99 -Os
 CFLAGS += -fno-diagnostics-show-caret
 CFLAGS += -fdata-sections -ffunction-sections
 CFLAGS += -funsigned-char -funsigned-bitfields