Wolfgang Walther bbce632fc2 ci: remove all CI except docs ...

We don't need to run full CI on the outdated and finished v13 branch
anymore. We did the same thing to other branches in the past.

2026-03-13 15:01:51 +01:00

..

docs.yaml

chore(deps): update actions/checkout action to v6

2025-12-03 13:52:39 +00:00