diff options
Diffstat (limited to '.github/workflows/ci.yml')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 1ac5dd94..3fb2270a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -25,4 +25,4 @@ jobs: #- run: sudo apt-get update && sudo apt-get install make # Verify #- run: cd tests/lean && make - - cd tests/lean && lake build + - run: cd tests/lean && lake build |