Wolfgang WaltherandWolfgang Walther 0b3f6de015 ci: Merge docs-spellcheck and docs-dictcheck jobs ...

Both jobs run really quick, running them separate is just a waste of resources. Plus,
they are semantically closely related anyway.

2024-02-22 20:12:18 +01:00

..

build.yaml

ci: Only run PR workflows when files have changed

2024-02-22 20:12:18 +01:00

ci.yaml

ci: Rename release jobs for consistency

2024-02-22 20:12:18 +01:00

docs.yaml

ci: Merge docs-spellcheck and docs-dictcheck jobs

2024-02-22 20:12:18 +01:00

report.yaml

ci: Rename release jobs for consistency

2024-02-22 20:12:18 +01:00

test.yaml

ci: Only run PR workflows when files have changed

2024-02-22 20:12:18 +01:00