mirror of
git://git.openwrt.org/openwrt/openwrt.git
synced 2025-01-11 17:19:27 +00:00
203cc0a7ef
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>
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
|