aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohannes Stölp <johannes.stoelp@gmail.com>2020-10-04 12:40:32 +0200
committerGitHub <noreply@github.com>2020-10-04 12:40:32 +0200
commit750498b7b87e5189508e4d06b1ab3be970078f4e (patch)
treeda019383f343ae0cc189cbeb57e833fdd0b99758
parent6f09346f55ccfa91cf064408f985d7df490af1c1 (diff)
downloadmatcha-threads-750498b7b87e5189508e4d06b1ab3be970078f4e.tar.gz
matcha-threads-750498b7b87e5189508e4d06b1ab3be970078f4e.zip
Enable ci (#1)
* added github push/pull_request action to build and run the demo1 example * gh action print start header before running each example
-rw-r--r--.github/workflows/check.yml23
-rwxr-xr-xdocker/build.sh4
2 files changed, 26 insertions, 1 deletions
diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
new file mode 100644
index 0000000..da1fe20
--- /dev/null
+++ b/.github/workflows/check.yml
@@ -0,0 +1,23 @@
+# Copyright (c) 2020 Johannes Stoelp
+
+on: [push, pull_request]
+
+jobs:
+ check_examples:
+ runs-on: ubuntu-latest
+ name: Check examples (all ARCHs)
+ steps:
+ - name: Checkout project
+ uses: actions/checkout@v2
+ - name: Build docker image
+ run: |
+ docker/build.sh matcha-box
+ - name: Run examples
+ run: |
+ for arch in x86_64 arm64; do
+ echo -e "\e[1;32m==> check ARCH=$arch\e0m"
+ docker run \
+ --rm \
+ -v $PWD:/develop \
+ matcha-box /bin/bash -c "make clean && make ARCH=$arch demo1"
+ done
diff --git a/docker/build.sh b/docker/build.sh
index 3b374e6..e40b83d 100755
--- a/docker/build.sh
+++ b/docker/build.sh
@@ -3,7 +3,9 @@
image=${1:-match-box}
-if ! docker build -t $image . ; then
+script_dir=$(readlink -f $(dirname $0))
+
+if ! docker build -t $image $script_dir ; then
echo "ERR: Failed to build docker image!"
exit 1
fi