From 6be147ff295ce987976295ce725a37f58d1a57ab Mon Sep 17 00:00:00 2001
From: OmarTawfik <15987992+OmarTawfik@users.noreply.github.com>
Date: Tue, 30 Jul 2024 07:18:39 -0700
Subject: [PATCH] test container privileged run

---
 .github/workflows/benchmark.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
index 19006fc62b..a6a38891cf 100644
--- a/.github/workflows/benchmark.yml
+++ b/.github/workflows/benchmark.yml
@@ -17,6 +17,10 @@ jobs:
   run:
     runs-on: "ubuntu-22.04" # _SLANG_DEV_CONTAINER_BASE_IMAGE_ (keep in sync)
 
+    container:
+      image: "./.devcontainer/Dockerfile"
+      options: "--privileged"
+
     # Only run on the main repo (not forks):
     if: "${{ github.repository == 'NomicFoundation/slang' }}"