trigger ci

Author: janmasrovira

.github/workflows/lean_action_ci.yml

@@ -15,6 +15,6 @@ jobs:
       - uses: leanprover/lean-action@v1
         with:
           build-args: "--wfail"
-      - name: Run UniversalCounter example
-          run: |
-            lake exe counter
+      # - name: Run UniversalCounter example
+      #     run: |
+      #       lake exe counter