fix(ci): Update path of auto-generated dialect documentation

zama-ai · Mar 12, 2024 · 629a0eb · 629a0eb
1 parent a0195cf
commit 629a0eb
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/.github/workflows/compiler_build_and_test_cpu.yml b/.github/workflows/compiler_build_and_test_cpu.yml
@@ -116,7 +116,7 @@ jobs:
             make BUILD_DIR=/build doc
             cd /build/tools/concretelang/docs/concretelang/
             sed -i -e 's/\[TOC\]//' *Dialect.md
-            for i in `ls *Dialect.md`; do diff $i /concrete/docs/dev/compilation/$i; done;
+            for i in `ls *Dialect.md`; do diff $i /concrete/docs/explanations/$i; done;
 
       - name: Enable complete tests on push to main
         if: github.ref == 'refs/heads/main'

diff --git a/docs/dev/compilation/OptimizerDialect.md → docs/explanations/OptimizerDialect.md b/docs/dev/compilation/OptimizerDialect.md → docs/explanations/OptimizerDialect.md
diff --git a/docs/dev/compilation/TypeInferenceDialect.md → docs/explanations/TypeInferenceDialect.md b/docs/dev/compilation/TypeInferenceDialect.md → docs/explanations/TypeInferenceDialect.md