Skip to content

Commit

Permalink
lint: remove unused jenkins scripts (#5507)
Browse files Browse the repository at this point in the history
  • Loading branch information
kruskall authored Sep 17, 2024
1 parent d99b09b commit 5b94604
Show file tree
Hide file tree
Showing 4 changed files with 0 additions and 137 deletions.
26 changes: 0 additions & 26 deletions dev-tools/common.bash
Original file line number Diff line number Diff line change
Expand Up @@ -76,32 +76,6 @@ setup_go_path() {
debug "GOPATH=${GOPATH}"
}

jenkins_setup() {
: "${HOME:?Need to set HOME to a non-empty value.}"
: "${WORKSPACE:?Need to set WORKSPACE to a non-empty value.}"

if [ -z ${GO_VERSION:-} ]; then
get_go_version
fi

# Setup Go.
export GOPATH=${WORKSPACE}
export PATH=${GOPATH}/bin:${PATH}
eval "$(gvm ${GO_VERSION})"

# Workaround for Python virtualenv path being too long.
export TEMP_PYTHON_ENV=$(mktemp -d)

# Workaround for cryptography package (pip dependency) relying on rust
export CRYPTOGRAPHY_DONT_BUILD_RUST=1

export PYTHON_ENV="${TEMP_PYTHON_ENV}/python-env"

# Write cached magefile binaries to workspace to ensure
# each run starts from a clean slate.
export MAGEFILE_CACHE="${WORKSPACE}/.magefile"
}

docker_setup() {
OS="$(uname)"
case $OS in
Expand Down
41 changes: 0 additions & 41 deletions dev-tools/jenkins_ci.sh

This file was deleted.

18 changes: 0 additions & 18 deletions dev-tools/jenkins_intake.sh

This file was deleted.

52 changes: 0 additions & 52 deletions dev-tools/jenkins_release.sh

This file was deleted.

0 comments on commit 5b94604

Please sign in to comment.