From 4ef0d19becccb2ae84e1971bb440b0fb74e0f8b5 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume1.gomez@gmail.com>
Date: Wed, 29 Jun 2022 15:40:11 +0200
Subject: [PATCH] Add --mini-tests option and run mini-tests in CI

---
 .github/workflows/ci.yml | 6 +++++-
 test.sh                  | 4 ++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 97ce8e31f879..4e2647dd4273 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -104,9 +104,13 @@ jobs:
         command: build
         args: --release
 
+    - name: Test mini_tests
+      run: |
+        ./test.sh --release --clean --build-sysroot --mini-tests ${{ matrix.libgccjit_version.extra }}
+
     - name: Test std_tests
       run: |
-        ./test.sh --release --clean --build-sysroot --std-tests ${{ matrix.libgccjit_version.extra }}
+        ./test.sh --release --std-tests ${{ matrix.libgccjit_version.extra }}
 
     - name: Test test_libcore
       run: |
diff --git a/test.sh b/test.sh
index b4d10fa6e4d2..904434807c46 100755
--- a/test.sh
+++ b/test.sh
@@ -69,6 +69,10 @@ while [[ $# -gt 0 ]]; do
             funcs+=(extended_sysroot_tests)
             shift
             ;;
+        "--mini-tests")
+            funcs+=(mini_tests)
+            shift
+            ;;
 
         "--build-sysroot")
             funcs+=(build_sysroot)