From f04ba376ffaa25929e29add14feadb764015a755 Mon Sep 17 00:00:00 2001 From: Brad Campbell Date: Mon, 10 Jun 2024 16:33:33 -0400 Subject: [PATCH] ci: build one app with picolib --- .github/workflows/ci.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index f4d7f3de5..519f82ffd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -51,3 +51,5 @@ jobs: run: pushd examples; ./build_all.sh || exit; popd - name: ci-debug-build run: pushd examples/blink; make debug RAM_START=0x20004000 FLASH_INIT=0x30051 || exit; popd + - name: ci-build-picolib + run: pushd examples/tests/hello_loop; make clean; make PICOLIB=1 || exit; popd