diff options
-rw-r--r-- | .gitlab-ci.yml | 51 |
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'" |