From 0566d5c525fabd737149e98a6848c11e66ca4acc Mon Sep 17 00:00:00 2001 From: Stephen Sherratt Date: Thu, 7 Sep 2023 09:38:46 +0000 Subject: [PATCH] Github action to build monorepo bunch docker image (#8500) Signed-off-by: Stephen Sherratt --- .github/workflows/workflow.yml | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml index 8d02215bb1d..cc8d40e3336 100644 --- a/.github/workflows/workflow.yml +++ b/.github/workflows/workflow.yml @@ -233,3 +233,17 @@ jobs: env: # We disable the Dune cache when running the tests DUNE_CACHE: disabled + + monorepo_benchmark_test: + name: Build monorepo benchmark docker image + runs-on: ubuntu-latest + steps: + - name: Checkout code + uses: actions/checkout@v3 + - uses: whoan/docker-build-with-cache-action@v6 + with: + image_name: monorepo-benchmark + build_extra_args: '{"--file": "bench/monorepo/bench.Dockerfile"}' + push_image_and_stages: true + username: ocaml + password: "${{ secrets.DOCKER_HUB_PASSWORD }}"