dev #17

Merged
WorldTeacher merged 2 commits from dev into main 2025-11-19 15:41:35 +00:00
2 changed files with 3 additions and 4 deletions

View File

@@ -11,6 +11,7 @@ jobs:
build-image:
name: Build Docker image
runs-on: ubuntu-latest
if: ${{ !contains(github.event.pull_request.title, '[skip-ci]') }}
steps:
- name: Checkout repository

View File

@@ -57,10 +57,9 @@ jobs:
echo "VERSION<<EOF" >> $GITHUB_ENV
echo "$(uv tool run bump-my-version show current_version)" >> $GITHUB_ENV
echo "EOF" >> $GITHUB_ENV
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v3
- name: Set up QEMU
uses: docker/setup-qemu-action@v3
@@ -76,7 +75,6 @@ jobs:
run: |
prev=$(git tag --sort=-v:refname | sed -n '2p' || true)
echo "tag=$prev" >> "$GITHUB_OUTPUT"
- name: Compute lowercased image repo
if: ${{ github.event.inputs.docker_release == 'true' }}
@@ -130,4 +128,4 @@ jobs:
prerelease: false
env:
GITHUB_TOKEN: ${{ secrets.TOKEN }}
GITHUB_REPOSITORY: ${{ github.repository }}
GITHUB_REPOSITORY: ${{ github.repository }}