diff --git a/docs/CI_diagram.png b/docs/CI_diagram.png new file mode 100644 index 0000000000000000000000000000000000000000..5f422f03e7ee04d2341e7bf8abca9b8e239e0041 Binary files /dev/null and b/docs/CI_diagram.png differ