From 2abc80d0b04617a14c1cfa97eca3159ed99425a6 Mon Sep 17 00:00:00 2001
From: Grische <2787581+grische@users.noreply.github.com>
Date: Tue, 10 Dec 2024 11:32:23 +0100
Subject: [PATCH] pin Bazel version

---
 .bazelversion | 2 ++
 Dockerfile    | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 .bazelversion

diff --git a/.bazelversion b/.bazelversion
new file mode 100644
index 0000000..a083f68
--- /dev/null
+++ b/.bazelversion
@@ -0,0 +1,2 @@
+7.4.1
+# make sure that the image in the Dockerfile and this version are identical
diff --git a/Dockerfile b/Dockerfile
index e277882..7cc2119 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,5 @@
 FROM gcr.io/bazel-public/bazel:7.4.1 AS builder
+# Make sure .bazelversion and the version of image are identical
 
 WORKDIR /wgkex