Another test

.github/workflows/docs.yml

@@ -19,6 +19,7 @@ on:
       - 'benchmarks/**/*.md'
       - 'post-processing/**/*.md'
 
+
 concurrency:
   # Same group concurrency as the `docs_cleanup.yml` workflow, because they both
   # git-push to the same branch, so we want to avoid clashes.