Archived
1
0

chore(ci): remove images and update publish flow (#3147)

* chore(ci): remove unmaintained images
* chore(ci): update publish workflow
This commit is contained in:
Akash Satheesan
2021-04-17 01:17:24 +05:30
committed by GitHub
parent 006438db33
commit cbc2e8bc92
4 changed files with 18 additions and 101 deletions

View File

@ -1,31 +0,0 @@
#!/usr/bin/env bash
set -euo pipefail
main() {
cd "$(dirname "$0")/../../.."
source ./ci/lib.sh
mkdir -p .home
docker run \
-it \
--rm \
-v "$PWD:/src" \
-e HOME="/src/.home" \
-e USER="coder" \
-e GITHUB_TOKEN \
-e KEEP_MODULES \
-e MINIFY \
-w /src \
-p 127.0.0.1:8080:8080 \
-u "$(id -u):$(id -g)" \
-e CI \
"$(docker_build ./ci/images/"${IMAGE-debian10}")" \
"$@"
}
docker_build() {
docker build "$@" >&2
docker build -q "$@"
}
main "$@"