diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/docker_release_push.yml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/.github/workflows/docker_release_push.yml b/.github/workflows/docker_release_push.yml new file mode 100644 index 00000000..7337e3d4 --- /dev/null +++ b/.github/workflows/docker_release_push.yml @@ -0,0 +1,34 @@ +name: Publish Docker Image for Release Builds + +on: + release: + types: [published] + +jobs: + push_to_registry: + name: Push Docker Image to Docker Hub + runs-on: ubuntu-latest + steps: + - name: Check out the repo + uses: actions/checkout@v3 + + - name: Log in to Docker Hub + uses: docker/login-action@f4ef78c080cd8ba55a85445d5b36e214a81df20a + with: + username: ${{ secrets.DOCKER_USERNAME }} + password: ${{ secrets.DOCKER_PASSWORD }} + + - name: Extract metadata (tags, labels) for Docker + id: meta + uses: docker/metadata-action@9ec57ed1fcdbf14dcef7dfbe97b2010124a938b7 + with: + images: klee/klee + + - name: Build and push Docker image + uses: docker/build-push-action@3b5e8027fcad23fda98b2e3ac259d8d67585f671 + with: + context: . + file: ./Dockerfile + push: true + tags: ${{ steps.meta.outputs.tags }} + labels: ${{ steps.meta.outputs.labels }} \ No newline at end of file |