Fix downstream CI for DRT (#484)

cedar-policy · Dec 8, 2023 · 2c7df66 · 2c7df66
1 parent 4816432
commit 2c7df66
Showing 1 changed file with 11 additions and 2 deletions.
diff --git a/.github/workflows/build_downstream_deps.yml b/.github/workflows/build_downstream_deps.yml
@@ -27,6 +27,11 @@ jobs:
           - stable
     steps:
       - run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }}
+      - name: Install Lean
+        shell: bash
+        run: |
+            wget https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh
+            bash elan-init.sh -y
       - name: Checkout cedar-spec
         uses: actions/checkout@v3
         with:
@@ -37,12 +42,16 @@ jobs:
         uses: actions/checkout@v3
         with:
           path: cedar-spec/cedar
+      - name: build cedar-lean
+        working-directory: cedar-spec/cedar-lean
+        shell: bash
+        run: source ~/.profile && lake build Cedar:static DiffTest:static Std:static
       - name: build cedar-drt
         working-directory: cedar-spec/cedar-drt
-        run: RUSTFLAGS="-D warnings" cargo build
+        run: source ~/.profile && source ./set_env_vars.sh && RUSTFLAGS="-D warnings" cargo build
       - name: build cedar-drt/fuzz
         working-directory: cedar-spec/cedar-drt/fuzz
-        run: RUSTFLAGS="--cfg=fuzzing -D warnings" cargo build
+        run: source ~/.profile && source ../set_env_vars.sh && RUSTFLAGS="--cfg=fuzzing -D warnings" cargo build
 
   cedar-java:
     name: CedarJava