Skip to content

Commit

Permalink
fix publish-halmos-builder-package.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
karmacoma-eth committed Jun 7, 2024
1 parent 45e1c5f commit 763d041
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions .github/workflows/publish-halmos-builder-package.yml
Original file line number Diff line number Diff line change
Expand Up @@ -21,18 +21,16 @@ jobs:
contents: read

steps:
- uses: actions/checkout@v4

- name: Build image
run: docker build . --file packages/halmos-builder/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"

- name: Login to GitHub Container Registry
uses: docker/login-action@v3
with:
registry: ghcr.io
username: ${{ github.actor }}
password: ${{ secrets.GITHUB_TOKEN }}

- name: Build image
run: docker build . --file packages/halmos-builder/Dockerfile --tag $IMAGE_NAME --label "runnumber=${GITHUB_RUN_ID}"

- name: Push image
run: |
IMAGE_ID=ghcr.io/${{ github.repository_owner }}/$IMAGE_NAME
Expand Down

0 comments on commit 763d041

Please sign in to comment.