File tree Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -221,10 +221,14 @@ jobs:
221
221
id : get_release_info
222
222
uses :
bruceadams/[email protected]
223
223
- name : Set Image Tag
224
- run : echo "IMAGE_TAG=diffblue/cbmc:${{ steps.get_release_info.outputs.tag_name }}" >> $GITHUB_ENV
224
+ run : |
225
+ echo ${{ steps.get_release_info.outputs.tag_name }}
226
+ VERSION = ${{ steps.get_release_info.outputs.tag_name }}
227
+ arrVERSION=(${VERSION//-/ })
228
+ echo "IMAGE_TAG=diffblue/cbmc:${arrVERSION[1]}" >> $GITHUB_ENV
225
229
- name : Build docker image
226
- run : docker build -t $IMAGE_TAG .
230
+ run : docker build -t " $IMAGE_TAG" .
227
231
- name : Push docker image to DockerHub
228
232
run : |
229
233
docker login --username=dbcicprover --password=${{ secrets.DOCKERHUB_ACCESS_DB_CI_CPROVER }}
230
- docker image push $IMAGE_TAG
234
+ docker image push " $IMAGE_TAG"
You can’t perform that action at this time.
0 commit comments