projects / openwrt / openwrt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a72695) | patch
ci: move scripts into separate directory
authorPetr Štetiar <ynezz@true.cz>
Mon, 5 Sep 2022 07:04:27 +0000 (09:04 +0200)
committerPetr Štetiar <ynezz@true.cz>
Tue, 20 Sep 2022 10:14:54 +0000 (12:14 +0200)
commit63ed733d30153667d7d645ab0ee3f5614089c759
tree1694dad088978378b8b09f662a55791be823e75btree | snapshot
parent0a7269584478e164ff185864292452af35abec1bcommit | diff
ci: move scripts into separate directory

So it's clean and tidy.

Signed-off-by: Petr Štetiar <ynezz@true.cz>
.github/workflows/ci_helpers.sh [deleted file] blob | history
.github/workflows/formal.yml diff | blob | history
.github/workflows/scripts/ci_helpers.sh [new file with mode: 0644] blob
OpenWrt Source Repository