From f5f422895f64217d767f16bc3cb98cf825b4a625 Mon Sep 17 00:00:00 2001
From: Giacomo Citi <giacomo.citi@zazuko.com>
Date: Sun, 6 Oct 2024 10:54:02 +0200
Subject: [PATCH] ci: use latest eye image

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 1c7a926..8976b1d 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,5 +1,5 @@
 # Use the EYE reasoner Docker image as the base image
-FROM eyereasoner/eye:10.23.2 
+FROM eyereasoner/eye:latest
 
 # Set the working directory inside the container
 WORKDIR /workspace