projects / openwrt / openwrt.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ci: move scripts into separate directory
[openwrt/openwrt.git] / .github / workflows / formal.yml
2022-12-04 Petr Štetiarci: move scripts into separate directory blob | commitdiff | raw
2022-12-04 Alex Lowbuild: harden GitHub workflow permissions blob | commitdiff | raw | diff to current
2022-12-04 Paul SpoorenCI: allow dots in commit subject area blob | commitdiff | raw | diff to current
2022-12-04 Paul SpoorenCI: add formal checks blob | commitdiff | raw | diff to current
OpenWrt Source Repository