Josef Schlehofer 3621fded1e CI: formal check: use shared workflow in actions-shared-workflows ...

Lets switch to shared workflow in actions-shared-workflows instead of having
this separate file here. It will track and use the latest changes to avoid
being outdated.

Signed-off-by: Josef Schlehofer <pepe.schlehofer@gmail.com>

2025-05-25 18:34:41 +02:00

..

workflows

CI: formal check: use shared workflow in actions-shared-workflows

2025-05-25 18:34:41 +02:00

issue_template

github: fix typo in issue template

2022-05-07 11:42:09 +02:00

pull_request_template

Revert "github: Improve Pull Request template"

2024-05-24 00:57:26 +02:00