diff --git a/.github/workflows/build_docker.yml b/.github/workflows/build_docker.yml deleted file mode 100644 index 4f738790..00000000 --- a/.github/workflows/build_docker.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Docker Container - -on: - pull_request: - -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 }} \ No newline at end of file