From efe7ddb265d1683828d803fd36072bbea3e8ebf4 Mon Sep 17 00:00:00 2001 From: Amir Gonnen Date: Thu, 17 Jun 2021 01:33:03 +0300 Subject: [PATCH] Remove mimxrt CI for now --- .github/workflows/ports_mimxrt.yml | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 .github/workflows/ports_mimxrt.yml diff --git a/.github/workflows/ports_mimxrt.yml b/.github/workflows/ports_mimxrt.yml deleted file mode 100644 index 8fbc2209e..000000000 --- a/.github/workflows/ports_mimxrt.yml +++ /dev/null @@ -1,23 +0,0 @@ -name: mimxrt port - -on: - push: - pull_request: - paths: - - '.github/workflows/*.yml' - - 'tools/**' - - 'py/**' - - 'extmod/**' - - 'lib/**' - - 'drivers/**' - - 'ports/mimxrt/**' - -jobs: - build: - runs-on: ubuntu-20.04 - steps: - - uses: actions/checkout@v2 - - name: Install packages - run: source tools/ci.sh && ci_mimxrt_setup - - name: Build - run: source tools/ci.sh && ci_mimxrt_build