From 84c6e8c9ed7bea4fb732ef80b7511073856b5159 Mon Sep 17 00:00:00 2001 From: Alistair Francis Date: Wed, 30 Aug 2023 20:30:57 +1000 Subject: [PATCH] github: Add Tock CI Signed-off-by: Alistair Francis --- .github/workflows/main.yml | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index ef6f6cfa..599c5c9b 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -202,6 +202,27 @@ jobs: . ~/esp/esp-idf/export.sh idf.py build + tock-build: + runs-on: ubuntu-latest + steps: + - name: Checkout repository + uses: actions/checkout@v2 + with: + submodules: recursive + + - name: Setup Rust + uses: dtolnay/rust-toolchain@stable + + - name: Install dependencies + run: | + sudo apt-get install -y gcc-arm-none-eabi + cargo install elf2tab + + - name: Build the example + run: | + cd $PWD/examples/NonArduino/Tock + ./build.sh + rpi-build: runs-on: [self-hosted, ARM64] steps: