From 74010dfcf2bee2eb3e10181fffc41b356b31dad2 Mon Sep 17 00:00:00 2001
From: Eliezer Graber <eygraber@gmail.com>
Date: Thu, 14 Mar 2024 18:52:50 -0400
Subject: [PATCH] Clarify that lint is for Android

---
 .github/workflows/pr.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index d3b823c..ad13730 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -126,7 +126,7 @@ jobs:
           gradle-version: wrapper
           gradle-home-cache-cleanup: true
 
-      - name: Run lint
+      - name: Run Android lint
         run: ./gradlew lintRelease
 
   test: