projects / openwrt / staging / noltari.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ci: move scripts into separate directory
[openwrt/staging/noltari.git] / .github / workflows / formal.yml
2022-09-20 Petr Štetiarci: move scripts into separate directory blob | commitdiff | raw
2022-09-19 Alex Lowbuild: harden GitHub workflow permissions blob | commitdiff | raw | diff to current
2022-02-24 Paul SpoorenCI: allow dots in commit subject area blob | commitdiff | raw | diff to current
2022-01-29 Paul SpoorenCI: add formal checks blob | commitdiff | raw | diff to current
Staging tree of Alvaro Fernandez Rojas