diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index d0b6e9c..da8ba9e 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -15,7 +15,6 @@ jobs:
     name: Lint style
     runs-on: ubuntu-latest
     steps:
-      # Check for long lines in .lean files and report if any lines exceed 100 characters
       - name: Check for long lines
         if: always()
         run: |
@@ -68,7 +67,6 @@ jobs:
           python-version: '3.9'
           cache: 'pip'
 
-      # Cache and install required apt packages for blueprint
       - name: Cache and install blueprint apt dependencies
         uses: awalsh128/cache-apt-pkgs-action@latest
         with: