openwrt/.github/workflows
Christian Marangi 0fd3a6c6c6
CI: formal: use shared workflow in actions-shared-workflows
Use shared workflow in actions-shared-workflows instead of keeping the
workflow in openwrt main branch to make it easier to maintain and update
without bloating the main repository commit history.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
2024-01-26 16:14:20 +01:00
..
scripts
coverity.yml
formal.yml CI: formal: use shared workflow in actions-shared-workflows 2024-01-26 16:14:20 +01:00
github-release.yml
issue-labeller.yml
kernel.yml
label-kernel.yml
label-target.yml
labeler.yml
packages.yml
push-containers.yml
toolchain.yml
tools.yml