summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDamien George <damien@micropython.org>2025-07-13 22:42:17 +1000
committerDamien George <damien@micropython.org>2025-07-23 11:35:38 +1000
commitb15065b95e24a939e09289ee18ce84579605b929 (patch)
tree591c9dc06875784c821194d4cbd9073f204a980b
parentb6460df721893ee89336641afea8e71b4d72f7c5 (diff)
github/workflows: Add new CI job to test unix port with GIL enabled.
Signed-off-by: Damien George <damien@micropython.org>
-rw-r--r--.github/workflows/ports_unix.yml12
-rwxr-xr-xtools/ci.sh9
2 files changed, 21 insertions, 0 deletions
diff --git a/.github/workflows/ports_unix.yml b/.github/workflows/ports_unix.yml
index 60c0244a8..f3f613a78 100644
--- a/.github/workflows/ports_unix.yml
+++ b/.github/workflows/ports_unix.yml
@@ -160,6 +160,18 @@ jobs:
if: failure()
run: tests/run-tests.py --print-failures
+ gil_enabled:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v4
+ - name: Build
+ run: source tools/ci.sh && ci_unix_gil_enabled_build
+ - name: Run main test suite
+ run: source tools/ci.sh && ci_unix_gil_enabled_run_tests
+ - name: Print failures
+ if: failure()
+ run: tests/run-tests.py --print-failures
+
stackless_clang:
runs-on: ubuntu-latest
steps:
diff --git a/tools/ci.sh b/tools/ci.sh
index 6656b860f..30be7ec2b 100755
--- a/tools/ci.sh
+++ b/tools/ci.sh
@@ -707,6 +707,15 @@ function ci_unix_float_run_tests {
ci_unix_run_tests_helper CFLAGS_EXTRA="-DMICROPY_FLOAT_IMPL=MICROPY_FLOAT_IMPL_FLOAT"
}
+function ci_unix_gil_enabled_build {
+ ci_unix_build_helper VARIANT=standard MICROPY_PY_THREAD_GIL=1
+ ci_unix_build_ffi_lib_helper gcc
+}
+
+function ci_unix_gil_enabled_run_tests {
+ ci_unix_run_tests_full_helper standard MICROPY_PY_THREAD_GIL=1
+}
+
function ci_unix_clang_setup {
sudo apt-get update
sudo apt-get install clang