arduino/esp8266
1
0
Fork 0
mirror of https://github.com/esp8266/Arduino.git synced 2025-04-22 21:23:07 +03:00
Code

ci: make sure to kill gpg related processes (#8549)

Browse Source 
Removing the directory while gpg-agent and dirmngr are running is not always possible, causing random errors during CI runs.
This commit is contained in:
Max Prokhorov 2022-04-21 22:05:55 +03:00 committed by GitHub
parent 6c8c8cb2d6
commit 02c1a502ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/pull-request.yml vendored
View File

@ -246,6 +246,7 @@ jobs:
gpg --batch --keyserver keyserver.ubuntu.com --recv-keys "$LLVM_SNAPSHOT_KEY"
gpg --batch --armor --export "$LLVM_SNAPSHOT_KEY" | \
sudo tee /etc/apt/trusted.gpg.d/llvm-snapshot.gpg.asc
gpgconf --kill all
rm -r $GNUPGHOME
echo "deb http://apt.llvm.org/focal/ llvm-toolchain-focal-13 main" | \
sudo tee /etc/apt/sources.list.d/llvm.list