Skip to content

Add GitHub workflow for pull requests#1

Merged
janpieper merged 1 commit intomainfrom
ci-workflow
Jul 31, 2025
Merged

Add GitHub workflow for pull requests#1
janpieper merged 1 commit intomainfrom
ci-workflow

Commits

Commits on Jul 31, 2025