Also test coretests

Author: bjorn3

ci-test.sh

@@ -24,11 +24,22 @@ core)
             -- --skip align \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
+        echo "::group::Testing coretests ($TARGET, no validation, no Stacked Borrows, symbolic alignment)"
+        MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-validation -Zmiri-disable-stacked-borrows -Zmiri-symbolic-alignment-check" \
+            ./run-test.sh coretests --target $TARGET --tests \
+            -- --skip align \
+            2>&1 | ts -i '%.s  '
+        echo "::endgroup::"
         echo "::group::Testing core ($TARGET)"
         MIRIFLAGS="$DEFAULTFLAGS" \
             ./run-test.sh core --target $TARGET --tests \
             2>&1 | ts -i '%.s  '
         echo "::endgroup::"
+        echo "::group::Testing coretests ($TARGET)"
+        MIRIFLAGS="$DEFAULTFLAGS" \
+            ./run-test.sh coretests --target $TARGET --tests \
+            2>&1 | ts -i '%.s  '
+        echo "::endgroup::"
         echo "::group::Testing core docs ($TARGET)" && echo
         MIRIFLAGS="$DEFAULTFLAGS -Zmiri-disable-isolation" \
             ./run-test.sh core --target $TARGET --doc \