dev #17

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

View File

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