Bump racket/racket from 8.12 to 8.13

Bumps racket/racket from 8.12 to 8.13. --- updated-dependencies: - dependency-name: racket/racket dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <[email protected]>
dodona-edu · May 20, 2024 · 0a2b3c5 · 0a2b3c5
1 parent dfdf7fe
commit 0a2b3c5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dodona-scheme.dockerfile b/dodona-scheme.dockerfile
@@ -1,4 +1,4 @@
-FROM racket/racket:8.12
+FROM racket/racket:8.13
 
 # add generic tools
 RUN apt-get --allow-releaseinfo-change update \