mirrors/imgui
1
0
Fork 0
mirror of https://github.com/ocornut/imgui.git synced 2026-07-16 14:11:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

CI: update PVS studio. Reduce Windows CI workload for typical push.

Browse Source
This commit is contained in:
ocornut
2026-07-02 15:13:49 +02:00
parent 8fc25800e0
commit 7d43c74b59
2 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/static-analysis.yml vendored
View File

@@ -23,9 +23,9 @@ jobs:
run: |
if [[ "$PVS_STUDIO_LICENSE" != "" ]];
then
wget -q https://files.viva64.com/etc/pubkey.txt
wget -q https://files.pvs-studio.com/etc/pubkey.txt
sudo apt-key add pubkey.txt
sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.viva64.com/etc/viva64.list
sudo wget -O /etc/apt/sources.list.d/viva64.list https://files.pvs-studio.com/etc/viva64.list
sudo apt-get update
sudo apt-get install -y pvs-studio
pvs-studio-analyzer credentials -o pvs-studio.lic $PVS_STUDIO_LICENSE