aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAria Shrimpton <me@aria.rip>2024-04-01 19:13:14 +0100
committerAria Shrimpton <me@aria.rip>2024-04-01 19:13:14 +0100
commit595c620ab014ed2bbb9dea50ed27a5fb1b6c7214 (patch)
treecafe5ab5ca49900ac70e28ca0ac5258e8b6415eb
parent6661ab02f6c0bcc05866c17bc6d5ae66c855b794 (diff)
remove CI configHEADmain
-rw-r--r--.gitlab-ci.yml51
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'"