projects
/
openwrt
/
staging
/
jow.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
ci: move scripts into separate directory
[openwrt/staging/jow.git]
/
.github
/
workflows
/
formal.yml
diff --git
a/.github/workflows/formal.yml
b/.github/workflows/formal.yml
index 125648163782152c53a191982d64743fe0a1dad7..8df31d1751f4ca7ba20df268b2211572e3a9c3b4 100644
(file)
--- a/
.github/workflows/formal.yml
+++ b/
.github/workflows/formal.yml
@@
-27,7
+27,7
@@
jobs:
- name: Test formalities
run: |
- source .github/workflows/ci_helpers.sh
+ source .github/workflows/
scripts/
ci_helpers.sh
RET=0
for commit in $(git rev-list HEAD ^origin/$BRANCH); do