diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cc7874129..4e78e4b1d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -12,7 +12,7 @@ jobs: strategy: fail-fast: false matrix: - racket-variant: ["BC", "CS"] + racket-variant: ["CS"] enable-contracts: [true, false] steps: - uses: actions/checkout@v4.2.2