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' }}"