Update info.rkt and CI config to use Racket 8.0.

sorawee · Feb 22, 2021 · 34ff8d9 · 34ff8d9
1 parent ada8683
commit 34ff8d9
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -10,20 +10,20 @@ jobs:
   test:
     strategy:
       matrix:
-        racket-version: ['7.0', 'current']
-        racket-variant: ['regular']
+        racket-version: ['8.0', 'current']
+        racket-variant: ['CS']
         allow-failure: [false]
         include:
           - racket-version: 'current'
-            racket-variant: 'CS'
+            racket-variant: 'BC'
             allow-failure: true
     name: Racket ${{ matrix.racket-version }} (${{ matrix.racket-variant }})
     runs-on: ubuntu-latest
     continue-on-error: ${{ matrix.allow-failure }}
     steps:
       - uses: actions/checkout@master
       - name: Setup Racket
-        uses: Bogdanp/setup-racket@v0.10
+        uses: Bogdanp/setup-racket@v1.1
         with:
           architecture: x64
           version: ${{ matrix.racket-version }}

diff --git a/info.rkt b/info.rkt
@@ -5,7 +5,7 @@
 (define deps '("custom-load"
                "sandbox-lib"
                "scribble-lib"
-               ("racket" #:version "7.0")
+               ("racket" #:version "8.0")
                "r6rs-lib"
                "rfc6455"
                "net-lib"
@@ -28,4 +28,4 @@
 (define test-omit-paths (if (getenv "PLT_PKG_BUILD_SERVICE") 'all '()))
 
 (define pkg-desc "Rosette solver-aided host language")
-(define version "3.0")
+(define version "4.0")