File tree 1 file changed +4
-1
lines changed
1 file changed +4
-1
lines changed Original file line number Diff line number Diff line change @@ -107,7 +107,7 @@ jobs:
107
107
needs : build
108
108
# only on main and dev branch
109
109
# if: github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev'
110
- if : github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev' || github.ref == 'refs/heads/jit_computations'
110
+ if : github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev' || github.ref == 'refs/heads/jit_computations' || github.ref == 'refs/heads/ds/jit-pandas'
111
111
112
112
runs-on : ubuntu-latest
113
113
steps :
@@ -132,6 +132,9 @@ jobs:
132
132
if [ "$imageTag" = "main" ] ; then
133
133
imageTag="latest"
134
134
fi
135
+ if [ "$imageTag" = "ds/jit-pandas" ] ; then
136
+ imageTag="jit-pandas"
137
+ fi
135
138
echo "::set-output name=tag::$imageTag"
136
139
echo "::set-output name=repo::ghcr.io/${{ github.repository }}"
137
140
- name : Push Dev Tag
You can’t perform that action at this time.
0 commit comments