Merge branch 'doc' into 'master'

Fix CI pipeline

See merge request !56

.gitlab-ci.yml

@@ -16,11 +16,16 @@ repoquality:
 
 checkpatch:
   stage: style
+  tags:
+    - integration
   script:
     - nix run -f "$ARGOPKGS" checkpatch --command checkpatch.pl
 
 make:generic:
   stage: build
+  except:
+    - /^wip.*/
+    - /^WIP.*/
   script:
     - ./autogen.sh
     - mkdir build
@@ -32,12 +37,14 @@ make:generic:
     when: on_failure
     paths:
       - tests/*.log
-  except:
-    - /^wip.*/
-    - /^WIP.*/
 
 make:knl:
   stage: build
+  except:
+    - /^wip.*/
+    - /^WIP.*/
+  tags:
+    - knl
   script:
     - source /opt/intel/compilers_and_libraries/linux/bin/compilervars.sh intel64
     - ./autogen.sh
@@ -50,11 +57,6 @@ make:knl:
     when: on_failure
     paths:
       - tests/*.log
-  except:
-    - /^wip.*/
-    - /^WIP.*/
-  tags:
-    - knl
 
 readthedocs:
   stage: docs
@@ -62,6 +64,8 @@ readthedocs:
   only:
     - master
     - /v[0-9]+\.[0-9]+\.x/
+  tags:
+    - integration
   script:
     - nix run nixpkgs.curl -c curl -X POST -d "branch=$CI_COMMIT_REF_NAME" -d "token=$READTHEDOCS_TOKEN" https://readthedocs.org/api/v2/webhook/argo-aml/83161/
 
@@ -70,6 +74,8 @@ dist:
   when: on_success
   only:
     - tags
+  tags:
+    - integration    
   script:
     - nix-build "$ARGOPKGS" -A aml-dist --arg aml-src ./.
     - ./release.sh CREATE $CI_JOB_ID $CI_PROJECT_ID $RELEASE_TOKEN $CI_COMMIT_REF_NAME

doc/requirements.txt

 breathe
+recommonmark