projects / openwrt / openwrt.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
ci: show_build_failures: fix missing output for configure failures
[openwrt/openwrt.git] / .github / workflows / formal.yml
2022-10-12 Christian MarangiCI: bump actions/checkout action to v3 blob | commitdiff | raw
2022-09-20 Petr Štetiarci: move scripts into separate directory blob | commitdiff | raw | diff to current
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
OpenWrt Source Repository