This repository was archived by the owner on Jan 19, 2025. It is now read-only.

ci: add back required workflow to repo#1279

Merged

lars-reimann merged 2 commits intomainfrom

required_workflows

Mar 16, 2023

Commits on Mar 16, 2023