up

mcandre · Feb 13, 2025 · ad47e41 · ad47e41
1 parent 8e8da1d
commit ad47e41
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -22,5 +22,6 @@ jobs:
         mkdir -p "$HOME/bin"
         curl -Lo "$HOME/bin/kirill" https://raw.githubusercontent.com/mcandre/kirill/v0.0.1/bin/kirill
         chmod +x "$HOME/bin/kirill"
-    - run: "make -f install.mk -j 4"
+    - name: "provision dev tools"
+      run: "make -f install.mk -j 4"
     - run: "make lint"