ci: remove gitlab ci docs job

Author: lterrac

.gitlab-ci.yml

@@ -33,22 +33,4 @@ build:
   only:
   - main
   - merge_requests
-  - tags
-
-docs:
-  image: ghcr.io/algebraic-programming/hicr/docs:latest
-  tags:
-  - docker
-  - tiny
-  script:
-  - echo "Checking TaskR source and test formatting..."
-  - .build-tools/style/check-style.sh check include
-  - .build-tools/style/check-style.sh check tests
-  - .build-tools/style/check-style.sh check examples
-  - echo "Building code documentation..."
-  - make -j1 -C docs
-  only: 
-  - main
-  - merge_requests
-  - tags
-
+  - tags