Skip to content

Error on duplicate profile ID instead of appending number suffix (#455) #275

Error on duplicate profile ID instead of appending number suffix (#455)

Error on duplicate profile ID instead of appending number suffix (#455) #275

Workflow file for this run

name: Merge on Main
permissions:
contents: read
on:
push:
branches:
- main
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
- name: Set up QEMU
uses: docker/setup-qemu-action@c7c53464625b32c7a7e944ae62b3e17d2b600130 # v3.7.0
- name: Set up Docker Buildx
id: buildx
uses: docker/setup-buildx-action@8d2750c68a42422c14e847fe6c8ac0403b4cbd6f # v3.12.0
- name: Lint
run: make lint
- name: Tests
run: make test
- name: Build
run: make docker-mcp-cross
- name: Hub login
uses: docker/login-action@c94ce9fb468520275223c153574b00df6fe4bcc9 # v3.7.0
with:
username: ${{ vars.DOCKERPUBLICBOT_USERNAME }}
password: ${{ secrets.DOCKERPUBLICBOT_WRITE_PAT }}
- name: Push Gateway image
run: make push-mcp-gateway