File tree 1 file changed +13
-2
lines changed
1 file changed +13
-2
lines changed Original file line number Diff line number Diff line change @@ -7,6 +7,8 @@ git diff --quiet HEAD $(git merge-base main HEAD) -- skiplang/compiler/ skiplang
7
7
skc=$?
8
8
git diff --quiet HEAD $( git merge-base main HEAD) -- skiplang/prelude/src/skstore/ skiplang/compiler/runtime/
9
9
skstore=$?
10
+ git diff --quiet HEAD $( git merge-base main HEAD) -- skiplang/skjson
11
+ skjson=$?
10
12
git diff --quiet HEAD $( git merge-base main HEAD) -- sql/ skiplang/sqlparser/ skiplang/skbuild/
11
13
skdb=$?
12
14
git diff --quiet HEAD $( git merge-base main HEAD) -- skipruntime-ts/
51
53
EOF
52
54
fi
53
55
56
+ if (( $skjson != 0 ))
57
+ then
58
+ cat << EOF
59
+ skjson:
60
+ jobs:
61
+ - skjson
62
+ EOF
63
+ fi
64
+
54
65
if (( $skdb != 0 || $skstore != 0 ))
55
66
then
56
67
cat << EOF
60
71
EOF
61
72
fi
62
73
63
- if (( $skdb != 0 || $skstore != 0 || $ts_prelude != 0 ))
74
+ if (( $skdb != 0 || $skstore != 0 || $ts_prelude != 0 || $skjson != 0 ))
64
75
then
65
76
cat << EOF
66
77
skdb-wasm:
69
80
EOF
70
81
fi
71
82
72
- if (( $skdb != 0 || $skstore != 0 || $skipruntime != 0 || $ts_prelude != 0 ))
83
+ if (( $skstore != 0 || $skipruntime != 0 || $ts_prelude != 0 || $skjson != 0 ))
73
84
then
74
85
cat << EOF
75
86
skipruntime:
You can’t perform that action at this time.
0 commit comments