Bump to Gambit 4.9.5

mighty-gerbils · Jul 27, 2023 · 0cfd1c1 · 0cfd1c1
1 parent 2f6650c
commit 0cfd1c1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -6,7 +6,7 @@ jobs:
     strategy:
       fail-fast: false  # if one fails, do not cancel the other
       matrix:
-        gambit-version: ['v4.9.4', 'v4.9.3', 'master']
+        gambit-version: ['v4.9.5', 'v4.9.4', 'master']
     steps:
       - uses: actions/checkout@v2
       - name: Install dependencies

diff --git a/docker/Makefile b/docker/Makefile
@@ -1,7 +1,7 @@
 .PHONY: alpine amazonlinux ubuntu fedora ubuntu-current-jedi final
 
 GERBIL_VERSION := v0.17
-GAMBIT_VERSION := v4.9.4
+GAMBIT_VERSION := v4.9.5
 
 ROOT_DIR := $(shell dirname $(realpath $(firstword $(MAKEFILE_LIST))))
 cores := $(shell grep -c "^processor" /proc/cpuinfo)