Production release #6

Merged
fr merged 53 commits from dev into master 2025-08-27 19:28:16 +02:00
Showing only changes of commit 33cb75093b - Show all commits

View File

@@ -4,6 +4,9 @@ on: pull_request
jobs: jobs:
build: build:
# Skip if PR base is master/dev
if: github.base_ref != 'master' && github.base_ref != 'dev'
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps: