From ebea7c19e71bd4c328f6c6ef9bd03cb12223e5af Mon Sep 17 00:00:00 2001
From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com>
Date: Wed, 23 Nov 2022 23:01:27 +1100
Subject: [PATCH] chore(deps): update golang docker tag to v1.19.3 (#10)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
---
 Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 3f28559..39f1f82 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,7 +1,7 @@
 # syntax=docker/dockerfile:1
 
 # Build stage
-FROM golang:1.19.2-alpine as build
+FROM golang:1.19.3-alpine as build
 
 WORKDIR /build/kani
 COPY . .
@@ -9,7 +9,7 @@ COPY . .
 RUN GOOS=$(go env GOOS) GOARCH=$(go env GOARCH) go build ./cmd/kani
 
 # Run stage
-FROM golang:1.19.2-alpine
+FROM golang:1.19.3-alpine
 
 RUN adduser -D kani
 USER kani