Changed the lint apt install to be consistent (#837)

2024-10-29 14:48:15 -05:00
parent 1444715c5a
commit 88e7ac3879
1 changed files with 2 additions and 2 deletions
@@ -35,8 +35,8 @@ jobs:
    - uses: actions/checkout@v4
    - name: Create SPLint Workspace
      run: |
-        sudo apt-get update --quiet --assume-yes
+        sudo apt-get update -qq
-        sudo apt-get install --quiet --assume-yes splint
+        sudo apt-get install -qq splint
    - name: Static Defect Analysis using SPLint
      run: make splint