dev #17

Merged
WorldTeacher merged 2 commits from dev into main 2025-11-19 15:41:35 +00:00
Showing only changes of commit b599169868 - Show all commits

View File

@@ -57,8 +57,7 @@ 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
@@ -77,7 +76,6 @@ jobs:
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' }}
run: |