update ci scripts' hostnames
3 files changed, 3 insertions(+), 3 deletions(-)
M scripts/ci/list → scripts/ci/list
@@ -1,3 +1,3 @@ #!/usr/bin/env fish # list running CI jobs -ssh linde laminarc show-running +ssh smrk laminarc show-running
M scripts/ci/queue → scripts/ci/queue
@@ -1,5 +1,5 @@ #!/usr/bin/env fish #queue a job based on PWD and current git branch/commit -ssh linde laminarc queue $(basename $PWD) \ +ssh smrk laminarc queue $(basename $PWD) \ ref=refs/heads/$(git branch --show-current) \ rev=$(git rev-parse @)
M user/settings/development/base.nix → user/settings/development/base.nix
@@ -171,7 +171,7 @@ er = "direnv reload"; ea = "direnv allow"; ex = "direnv exec"; es = "direnv status"; - laminarc = "ssh linde laminarc"; + laminarc = "ssh smrk laminarc"; }; programs.direnv = { enable = true;