Merge branch '3.2' into 3.3dev

This commit is contained in:
Dirk Wetter
2025-07-03 09:00:16 +02:00
5 changed files with 19 additions and 14 deletions

View File

@ -8,8 +8,8 @@ on:
# Every week at 8am on Mondays, publish the 3.2 branch:
# NOTE: `schedule` event is only triggered for the default branch:
# https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#schedule
schedule:
- cron: "0 8 * * 1"
# schedule:
# - cron: "0 8 * * 1"
env:
GIT_BRANCH: "3.2"