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 ci: add workflow for automated GitHub release 2023-11-01 12:26:18 +00:00
issue-labeller.yml CI: issue-labeller: fix wrong CRLF line-ending 2023-11-16 12:38:18 +01:00
kernel.yml
label-kernel.yml
label-target.yml
labeler.yml
packages.yml
push-containers.yml
toolchain.yml
tools.yml