From ebb3b87346c4dcf5dfd099802dfc4847c733f73a Mon Sep 17 00:00:00 2001
From: Joshua Yun <joshua@joshuayun.com>
Date: Tue, 11 Mar 2025 04:04:36 +0000
Subject: Dockerfile features

---
 docker_tools/build.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 docker_tools/build.sh

(limited to 'docker_tools/build.sh')

diff --git a/docker_tools/build.sh b/docker_tools/build.sh
new file mode 100755
index 0000000..9ba5d00
--- /dev/null
+++ b/docker_tools/build.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+docker image rm verif_runner
+docker build -t verif_runner:latest .
-- 
cgit v1.2.3