CI: formal: use shared workflow in actions-shared-workflows
authorChristian Marangi <ansuelsmth@gmail.com>
Fri, 26 Jan 2024 15:14:20 +0000 (16:14 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Fri, 26 Jan 2024 15:14:20 +0000 (16:14 +0100)
commit0fd3a6c6c6f079565f1f5de4709f3d4d71fc54c8
tree275833196478f649de61e34f32717b1e3d08f3e6
parent4fb04e35c9382d9b8f43f6c42530af5b946fd922
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>
.github/workflows/formal.yml