mirror of
https://github.com/openwrt/openwrt.git
synced 2025-01-23 21:08:23 +00:00
fad08e8e23
Github Actions cache doesn't permit to overwrite cache if it does
already exist. As a trick to refresh and have fresh ccache pool,
delete the ccache cache if it does exist with the help of Github REST
API. An additional permission is needed to access this API. Add this
permittion to each user of the build workflow.
Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
(cherry picked from commit 203cc0a7ef
)
68 lines
1.2 KiB
YAML
68 lines
1.2 KiB
YAML
name: Coverity scan build
|
|
|
|
on:
|
|
schedule:
|
|
- cron: '30 2 * * 6'
|
|
|
|
concurrency:
|
|
group: ${{ github.workflow }}-${{ github.ref }}
|
|
|
|
jobs:
|
|
coverity_build:
|
|
name: Coverity x86/64 build
|
|
secrets:
|
|
coverity_api_token: ${{ secrets.COVERITY_API_TOKEN }}
|
|
permissions:
|
|
contents: read
|
|
packages: read
|
|
actions: write
|
|
uses: ./.github/workflows/build.yml
|
|
with:
|
|
container_name: toolchain
|
|
target: x86
|
|
subtarget: 64
|
|
build_full: true
|
|
include_feeds: true
|
|
coverity_compiler_template_list: >-
|
|
x86_64-openwrt-linux-gcc
|
|
x86_64-openwrt-linux-musl-gcc
|
|
# qosify fails to build with cov-build
|
|
coverity_check_packages: >-
|
|
cgi-io
|
|
dnsmasq
|
|
dropbear
|
|
firewall
|
|
fstools
|
|
fwtool
|
|
iwinfo
|
|
jsonfilter
|
|
libnl-tiny
|
|
libubox
|
|
mtd
|
|
netifd
|
|
odhcp6c
|
|
odhcpd
|
|
opkg
|
|
procd
|
|
relayd
|
|
rpcd
|
|
swconfig
|
|
ubox
|
|
ubus
|
|
ucert
|
|
uci
|
|
uclient
|
|
ucode
|
|
ugps
|
|
uhttpd
|
|
umbim
|
|
umdns
|
|
unetd
|
|
uqmi
|
|
urngd
|
|
usbmode
|
|
usign
|
|
usteer
|
|
ustp
|
|
ustream-ssl
|