Merge pull request 'change workflow to target the develop branch' (#24) from develop into main

Reviewed-on: #24
This commit is contained in:
Christoph Hollizeck 2026-03-17 12:09:19 +01:00
commit 9acdc40003

View file

@ -9,6 +9,8 @@ jobs:
steps: steps:
- name: Check out repository code - name: Check out repository code
uses: actions/checkout@v4 uses: actions/checkout@v4
with:
ref: develop
- name: Update flake - name: Update flake
if: ${{ github.event_name == 'schedule' }} if: ${{ github.event_name == 'schedule' }}
run: | run: |