Skip to content

CI: Fix trigger bug#586

Merged
BenjaminMichaelis merged 2 commits intomainfrom
BMichaelis/FixTrigger
Sep 25, 2024
Merged

CI: Fix trigger bug#586
BenjaminMichaelis merged 2 commits intomainfrom
BMichaelis/FixTrigger

Commits

Commits on Sep 24, 2024

Commits on Sep 25, 2024