1 files changed, 0 insertions, 51 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
deleted file mode 100644
index 0a594c1..0000000
--- a/.gitlab-ci.yml
+++ /dev/null
@@ -1,51 +0,0 @@
-variables:
-  SSH_LOCATION: "root@192.168.1.246"
-
-stages:
-- deploy
-- benchmark
-
-default:
-  image: alpine
-  before_script:
-    - apk update && apk add openssh-client
-    - eval $(ssh-agent -s)
-    - chmod 400 "$SSH_PRIVATE_KEY"
-    - ssh-add "$SSH_PRIVATE_KEY"
-    - mkdir -p ~/.ssh
-    - chmod 700 ~/.ssh
-    - cp "$SSH_KNOWN_HOSTS" ~/.ssh/known_hosts
-
-rebuild:
-  when: manual
-  stage: deploy
-  resource_group: vm
-  script:
-    - ssh $SSH_LOCATION "bash -lc 'cd /opt/candelabra && git pull && NIXOS_SWITCH_USE_DIRTY_ENV=1 nixos-rebuild switch --fast --flake .#default'"
-
-cost-models:
-  when: manual
-  stage: benchmark
-  needs: ["rebuild"]
-  timeout: 6 hours
-  resource_group: vm
-  script:
-    - ssh $SSH_LOCATION "bash -lc 'cd /opt/candelabra/src && just cost-models'"
-
-selections:
-  when: manual
-  stage: benchmark
-  needs: ["rebuild"]
-  timeout: 6 hours
-  resource_group: vm
-  script:
-    - ssh $SSH_LOCATION "bash -lc 'cd /opt/candelabra/src && just selections'"
-
-comparisons:
-  when: manual
-  stage: benchmark
-  needs: ["rebuild"]
-  timeout: 6 hours
-  resource_group: vm
-  script:
-    - ssh $SSH_LOCATION "bash -lc 'cd /opt/candelabra/src && rm -fr tests/target/criterion && just selections --compare'"