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