From ac5abf12efc085a615e95c4fb348c606b6976b95 Mon Sep 17 00:00:00 2001
From: sorawee <sorawee.pwase@gmail.com>
Date: Mon, 16 Oct 2023 21:20:03 +0700
Subject: [PATCH] docker: do not copy benchmarks dir (#59)

This should help making the Docker image a bit smaller.
---
 .dockerignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.dockerignore b/.dockerignore
index b023679..e72e23b 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,2 +1,3 @@
 **/compiled
 .git
+benchmarks/