From 709c527d609bb5db61bfcee3dc60d435a090a4dd Mon Sep 17 00:00:00 2001 From: Andrew Scheller Date: Tue, 10 Mar 2026 19:25:11 +0000 Subject: [PATCH] Add GitHub workflow file to run tools/check_float_test_names.py but only when one of the relevant files changes --- .github/workflows/check_float_tests.yml | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) create mode 100644 .github/workflows/check_float_tests.yml diff --git a/.github/workflows/check_float_tests.yml b/.github/workflows/check_float_tests.yml new file mode 100644 index 00000000..e8c218f1 --- /dev/null +++ b/.github/workflows/check_float_tests.yml @@ -0,0 +1,23 @@ +name: Check floating-point tests + +on: + push: + paths: + - .github/workflows/check_float_tests.yml + - tools/check_float_test_names.py + - src/rp2_common/pico_float/include/pico/float.h + - src/rp2_common/pico_double/include/pico/double.h + - test/pico_float_test/custom_float_funcs_test.c + - test/pico_float_test/custom_double_funcs_test.c + +jobs: + check-float-tests: + if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name + runs-on: ubuntu-latest + steps: + - name: Checkout + uses: actions/checkout@v4 + + - name: Check float tests + run: | + tools/check_float_test_names.py