Documentation: add info about CI pipeline steps to developing guide

.github/workflows/main.yml

@@ -46,11 +46,8 @@ jobs:
           python -m pip install --upgrade pip
           python -m pip install ".[test,devel]"
 
-      - name: Test
-        run: |
-          isort --check --diff crate/ tests/ setup.py
-          flake8 crate/crash
-          coverage run -m unittest -v
+      - name: Lint & test
+        run: ./devtools/ci.sh 
 
   pypi:
     name: Build & publish package to pypi

DEVELOP.rst

@@ -18,9 +18,25 @@ Afterwards you can launch crash::
 
     crash
 
+Continuous Integration
+======================
+
+You can run all CI steps using::
+
+    ./devtools/ci.sh
+
+Individual steps are described below.
+
+Linting
+-------
+
+You can check if your code is compliant to the project's standard using::
+
+    isort --check --diff crate/ tests/ setup.py
+    flake8 crate/crash
 
 Running Tests
-=============
+-------------
 
 The tests are run using the `unittest`_ module::
 
@@ -42,7 +58,6 @@ To run against a single interpreter, you can also do::
 
     tox -e py33
 
-
 Standalone Executable
 =====================
 

devtools/ci.sh

@@ -0,0 +1,7 @@
+#!/bin/sh
+
+set -e -x
+
+isort --check --diff crate/ tests/ setup.py
+flake8 crate/crash
+coverage run -m unittest -v