diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml deleted file mode 100644 index 929cc666a14d54050efc31901ed97e8a638da353..0000000000000000000000000000000000000000 --- 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