From 526a8b6fabc956c669d6372b30ab0e00a8544aef Mon Sep 17 00:00:00 2001 From: Jakub Jelen Date: Wed, 1 Sep 2021 11:40:33 +0200 Subject: [PATCH] .github: openpgp works now --- .github/workflows/linux.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml index 8c40bf5e02..3ec0a9e044 100644 --- a/.github/workflows/linux.yml +++ b/.github/workflows/linux.yml @@ -122,8 +122,7 @@ jobs: path: ./* key: ${{ runner.os }}-18-${{ github.sha }} - run: .github/setup-linux.sh openpgp - # the openpgp sometimes fails - - run: .github/test-openpgp.sh || true + - run: .github/test-openpgp.sh build-clang-tidy: runs-on: ubuntu-latest