From 18cc32f76ff1c28f5c537912bf74b83a92568a94 Mon Sep 17 00:00:00 2001
From: "Peter A. Jonsson" <jonsson.peter.a@gmail.com>
Date: Mon, 15 Aug 2022 00:02:51 +0200
Subject: [PATCH] Dockerfile: update to Renode 1.13.3

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

diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
index edcdef36a9f..64201d5edf2 100644
--- a/tools/docker/Dockerfile
+++ b/tools/docker/Dockerfile
@@ -102,7 +102,7 @@ RUN wget -nv https://nsscprodmedia.blob.core.windows.net/prod/software-and-other
   apt-get -qq clean
 
 # Install Renode from github releases
-ARG RENODE_VERSION=1.13.0
+ARG RENODE_VERSION=1.13.3
 RUN wget -nv https://github.com/renode/renode/releases/download/v${RENODE_VERSION}/renode_${RENODE_VERSION}_amd64.deb \
   && apt-get -qq -y --no-install-recommends install ./renode_${RENODE_VERSION}_amd64.deb > /dev/null \
   && python3 -m pip -q install -r /opt/renode/tests/requirements.txt \