diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-06-07 17:48:32 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-06-07 20:05:08 +0100 |
| commit | 29ccb3165270f9a5ad8cda3e102eeef5e539c313 (patch) | |
| tree | ceb5d54e2f9876d724d427a8f673af002fec9ea8 | |
| parent | b07fcca329fae84821414baa979fd5de53c1d37e (diff) | |
| download | klee-29ccb3165270f9a5ad8cda3e102eeef5e539c313.tar.gz | |
Build and push Docker image as part of a release
| -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 |