ci: do not check with-linear-integer-arith2.rkt (#1246)

see Issue #1245

Author: capfredf

.github/workflows/ci.yml

@@ -34,7 +34,9 @@ jobs:
         env:
           PLT_TR_CONTRACTS: 1
       - run: racket -l typed-racket-test -- --unit
-      - run: racket -l typed-racket-test -- --int
+      - run: racket -l typed-racket-test -- --int --excl with-linear-integer-arith2.rkt
+      - run: racket -l typed-racket-test -- --just typed-racket-test/succeed/with-linear-integer-arith2.rkt
+        if: ${{ !matrix.enable-contracts }}
       - run: racket -l typed-racket-test -- --just typed-racket-test/succeed/cl.rkt
       - run: xvfb-run racket -l typed-racket-test -- --guitests
         if: ${{ !matrix.enable-contracts }}