diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 10e63821b..740fd5708 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -10,8 +10,8 @@ jobs: racket-variant: ["BC", "CS"] enable-contracts: [true, false] steps: - - uses: actions/checkout@v2.3.4 - - uses: Bogdanp/setup-racket@v1.6.1 + - uses: actions/checkout@v3 + - uses: Bogdanp/setup-racket@v1.9.1 with: architecture: x64 distribution: full diff --git a/.github/workflows/resyntax-analyze.yml b/.github/workflows/resyntax-analyze.yml index cfcb43a8c..66ac8b454 100644 --- a/.github/workflows/resyntax-analyze.yml +++ b/.github/workflows/resyntax-analyze.yml @@ -32,7 +32,7 @@ jobs: with: fetch-depth: 0 - name: Install Racket - uses: Bogdanp/setup-racket@v1.8.1 + uses: Bogdanp/setup-racket@v1.9.1 with: version: current packages: resyntax diff --git a/typed-racket-test/fail/unit-typed-untyped-2.rkt b/typed-racket-test/fail/unit-typed-untyped-2.rkt index 1e7ed545a..29e20bb3b 100644 --- a/typed-racket-test/fail/unit-typed-untyped-2.rkt +++ b/typed-racket-test/fail/unit-typed-untyped-2.rkt @@ -1,5 +1,5 @@ #; -(exn-pred #rx"u: contract violation\n expected: exact-integer?") +(exn-pred #rx"y: contract violation\n expected: exact-integer?") #lang racket (module typed typed/racket