routing/.github/workflows/formal.yml, branch master

formal: fix workflow permissions

2025-11-28T22:29:52Z

Fix formality check permissions that are needed to post optional summaries back to the PR. Link: openwrt/actions-shared-workflows#64 Signed-off-by: George Sapkin

CI: formal check: use shared workflow in actions-shared-workflows

2025-07-19T20:55:52Z

Lets switch to shared workflow in actions-shared-workflows instead of having this separate file here. It will track and use the latest changes to avoid being outdated. Signed-off-by: Josef Schlehofer

ci: no longer require real name

2024-03-23T14:08:58Z

This goes in accordance with the Linux Kernel: > using a known identity (sorry, no anonymous contributions.) https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/Documentation/process/submitting-patches.rst?id=HEAD#n442 Signed-off-by: Paul Spooren (cherry picked from commit 7e6cd98ad481184b1a620a9862aa3713d1ab85cc)

ci: update github actions to v3

2023-02-22T23:55:48Z

Update checkout and upload-artifact action to v3 to mute nodejs deprecation warning. Signed-off-by: Christian Marangi (cherry picked from commit 52570d4242822e3db678f5484c2ca3e72f485d52)

CI: copy .github from openwrt-packages

2021-06-02T20:32:03Z

Just copy .github from openwrt enabling: - checking of formalities - checking of build - issue template - pr template Signed-off-by: Nick Hainke