From 88e7ac387981c371a82b5078caaa9f9776606702 Mon Sep 17 00:00:00 2001 From: Steve Karg Date: Tue, 29 Oct 2024 14:48:15 -0500 Subject: [PATCH] Changed the lint apt install to be consistent (#837) --- .github/workflows/lint.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 46c3eec7..6dccd994 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -35,8 +35,8 @@ jobs: - uses: actions/checkout@v4 - name: Create SPLint Workspace run: | - sudo apt-get update --quiet --assume-yes - sudo apt-get install --quiet --assume-yes splint + sudo apt-get update -qq + sudo apt-get install -qq splint - name: Static Defect Analysis using SPLint run: make splint