From cb3a6fe938bc4477c3f37d957a17afa0510f524e Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Fri, 28 Apr 2023 16:07:03 -0700 Subject: [PATCH] update selfie --- cosmo-mini/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cosmo-mini/Dockerfile b/cosmo-mini/Dockerfile index 51f1cf2..13bc112 100644 --- a/cosmo-mini/Dockerfile +++ b/cosmo-mini/Dockerfile @@ -18,7 +18,7 @@ ARG XE_SHA256=f1ac997912c9be92a74a67a766dde74d1f9b6b20e48d7c7e71598ad4b787b37d # MAIN: http://selfie.cs.uni-salzburg.at/ # REPO: https://github.com/cksystemsteaching/selfie -ARG SELFIE_COMMIT=f34e6136930b29eb7401c9e56b1f878251206998 +ARG SELFIE_COMMIT=8336aca9df3909b93ba13fe56b46c20c2e0250e7 ARG SELFIE_SHA256=e20a04a0ffb5262c49eea1e025fbe2991370d6e6131ae99b2c36ccc5f8606d5e # MAIN: n/a