From ff78d968a69ecd899d183918592b9ac54d212478 Mon Sep 17 00:00:00 2001 From: Adnan Hasnat Date: Thu, 17 Oct 2024 19:44:29 +1100 Subject: [PATCH] rectified confusing use of workflow in both informal/formal sense close together in contributing documentation --- en/contributing/how-to-improve-the-help-page.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/en/contributing/how-to-improve-the-help-page.md b/en/contributing/how-to-improve-the-help-page.md index 0f71b259d..e1848e747 100644 --- a/en/contributing/how-to-improve-the-help-page.md +++ b/en/contributing/how-to-improve-the-help-page.md @@ -54,9 +54,9 @@ That's it! The JabRef team will review your changes and publish them on [docs.ja To edit more than one file at a time, add screenshots, and for other more advanced changes, we recommend that you checkout this repository locally and create a Pull Request of your changes using the standard git and GitHub workflow. -### Github workflows +### CI -Two workflows are triggered each time you push or pull request. +Two CI jobs (called "workflows" in GitHub terminology) are triggered each time you push or pull request. - Lint workflow checks for minor Markdown formatting style issues. - Check links workflow checks for broken links, e.g. to images or external resources.