Skip to content

use new deb packages names #552

use new deb packages names

use new deb packages names #552

scan

succeeded Mar 2, 2025 in 5m 33s
Set up job
1s
Run actions/checkout@v4
1s
Cache Coverity build tool
11s
Download Coverity build tool
16s
Install dependencies
1m 20s
Prepare CI
0s
Build with Coverity build tool
3m 37s
Submit build result to Coverity Scan
0s
Post Cache Coverity build tool
0s
Post Run actions/checkout@v4
0s
Complete job
0s