Docker Container #128
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Docker Container | |
| on: | |
| workflow_run: | |
| workflows: ["circtools CI"] | |
| types: | |
| - completed | |
| jobs: | |
| build-and-push-docker-image: | |
| name: Build Docker image and push to repositories | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@v3 | |
| - name: Set up Docker Buildx | |
| id: buildx | |
| uses: docker/setup-buildx-action@v2 | |
| - name: Login to Github Packages | |
| uses: docker/login-action@v2 | |
| with: | |
| registry: ghcr.io | |
| username: ${{ github.actor }} | |
| password: ${{ secrets.GITHUB_TOKEN }} | |
| - name: Build image and push to Docker Hub and GitHub Container Registry | |
| uses: docker/build-push-action@v4 | |
| with: | |
| context: ./docker/ | |
| tags: | | |
| ghcr.io/jakobilab/circtools/circtools:latest | |
| push: ${{ github.ref == 'refs/heads/master' }} | |
| - name: Image digest | |
| run: echo ${{ steps.docker_build.outputs.digest }} |