diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 586a16e..fac16f1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -54,7 +54,8 @@ jobs: - name: Configure demo/test subproject run: | pushd demo - lake update + # Use lake update to get the right version + ~/.elan/bin/lake update popd - name: Run tests