Remove unnecessary comments

fpvandoorn · Jul 6, 2024 · fe7556c · fe7556c
1 parent b0716d3
commit fe7556c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git 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: