From 88b24a6a4b020b409d1f85cd93e0457095414e73 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@irit.fr>
Date: Tue, 24 Jan 2023 11:24:19 +0100
Subject: [PATCH] disable ci

---
 .gitlab-ci.yml | 13 -------------
 1 file changed, 13 deletions(-)
 delete mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 929cc66..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,13 +0,0 @@
-image: oarteam/batsim_ci:latest
-
-stages:
-  - big_stage
-
-figures:
-  stage: big_stage
-  script:
-    - nix-shell -A shell --command "ninja"
-  artifacts:
-    when: always
-    paths:
-      - ./pipe-usage-example.pdf
-- 
GitLab