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	ci: show_build_failures: fix missing output for configure failures	2023-01-09 11:22:10 +01:00
coverity.yml	CI: migrate each workflow to use reusable workflow from dedicated repo	2023-06-25 02:08:56 +02:00
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	CI: provide new required secret for S3 endpoint and bucket name	2023-08-05 01:58:29 +02:00
label-kernel.yml	CI: migrate each workflow to use reusable workflow from dedicated repo	2023-06-25 02:08:56 +02:00
label-target.yml	CI: migrate each workflow to use reusable workflow from dedicated repo	2023-06-25 02:08:56 +02:00
labeler.yml	CI: labeler: fix wrong label for pr targeting stable branch	2022-12-01 01:51:58 +01:00
packages.yml	CI: provide new required secret for S3 endpoint and bucket name	2023-08-05 01:58:29 +02:00
push-containers.yml	CI: push-containers: refresh containers also on modify cmake options	2023-10-04 13:28:58 +02:00
toolchain.yml	CI: migrate each workflow to use reusable workflow from dedicated repo	2023-06-25 02:08:56 +02:00
tools.yml	CI: migrate each workflow to use reusable workflow from dedicated repo	2023-06-25 02:08:56 +02:00