ci: update dockerfile name

This commit is contained in:
youben11
2022-06-14 05:40:09 +01:00
committed by Ayoub Benaissa
parent 928a44d243
commit 26b8678f9f

View File

@@ -29,7 +29,7 @@ jobs:
run: echo "${{ secrets.GHCR_PASSWORD }}" | docker login -u ${{ secrets.GHCR_LOGIN }} --password-stdin ghcr.io
- name: Build
run: docker image build --no-cache -t compiler-latest-llvm -f builders/Dockerfile.concretelang-env .
run: docker image build --no-cache -t compiler-latest-llvm -f builders/Dockerfile.concrete-compiler-env .
- name: Test compiler with latest LLVM
uses: addnab/docker-run-action@v3