We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 74c8751 commit dbdd724Copy full SHA for dbdd724
.github/workflows/lean_action_ci.yml
@@ -16,5 +16,5 @@ jobs:
16
with:
17
build-args: "--wfail"
18
- name: Run UniversalCounter example
19
- run: |
20
- lake exe counter
+ run: |
+ lake exe counter
0 commit comments