fix(compiler): Use correct directory mapping for documentation in the workflow

This commit is contained in:
Andi Drebes
2023-03-20 11:13:07 +01:00
parent 791df21798
commit 8e9acaa1d9

View File

@@ -129,7 +129,7 @@ jobs:
options: >-
-v ${{ env.LLVM_PROJECT_DIR }}:/llvm-project
-v ${{ env.COMPILER_PROJECT_DIR }}:/compiler
-v ${{ github.workspace }}/docs:/docs
-v ${{ env.COMPILER_PROJECT_DIR }}/docs:/docs
shell: bash
run: |
cd /concrete/compilers/concrete-compiler/compiler