From d4088cad23ece1d9e5d69e45fcd0e1e1ebc4fdc5 Mon Sep 17 00:00:00 2001
From: Tyler Lentz <tlentz@ucsd.edu>
Date: Thu, 19 Oct 2023 23:05:07 +0000
Subject: [PATCH] add clang-tidy to dockerfile

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

diff --git a/Dockerfile b/Dockerfile
index fedd98d4..4d8ebec9 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -4,4 +4,5 @@ RUN apt-get update \
     && apt-get install -y build-essential \
                            gdb \
                            git \
-                           cmake
+                           cmake \
+                           clang-tidy