Skip to content

Commit 97c38a6

Browse files
committed
Add missing GITHUB_TOKEN to docker image push action.
Without this the get_release_info action is failing as it doesn't have access to the github token that gives it access to repository metadata.
1 parent 8569503 commit 97c38a6

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

.github/workflows/release-packages.yaml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -210,6 +210,8 @@ jobs:
210210

211211
push-docker-image-dockerhub:
212212
runs-on: ubuntu-20.04
213+
env:
214+
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
213215
steps:
214216
- name: Checkout CBMC source
215217
uses: actions/checkout@v2

0 commit comments

Comments
 (0)