index
:
openwrt/upstream
attitude_adjustment
barrier_breaker
chaos_calmer
lede-17.01
less-old-master
master
old-master
openwrt-18.06
openwrt-19.07
upstream
upstream openwrt
James
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
.github
/
workflows
/
formal.yml
Commit message (
Expand
)
Author
Age
Files
Lines
*
CI: add formal checks
Paul Spooren
2022-01-29
1
-0
/
+70
