123456789101112131415161718192021222324252627282930313233 |
- #!/usr/bin/env bash
- set -euxo pipefail
- if [ -z "${GITHUB_REPOSITORY_ID:-}" ]; then
- echo "GITHUB_REPOSITORY_ID is unset!"
- exit 1
- fi
- if [ -z "${GITHUB_WORKSPACE:-}" ]; then
- echo "GITHUB_WORKSPACE is unset!"
- exit 1
- fi
- IMAGE="${1:-}"
- if [ -z "${IMAGE}" ]; then
- echo "Container image is unset!"
- exit 1
- fi
- if command -v docker &> /dev/null; then
- DOCKER="docker"
- elif command -v podman &> /dev/null; then
- DOCKER="podman"
- else
- echo "Could not find docker / podman!"
- exit 1
- fi
- exec "${DOCKER}" run -d --name "${GITHUB_REPOSITORY_ID}" \
- -v "${GITHUB_WORKSPACE}:/working" --workdir "/working" \
- --entrypoint "tail" "${IMAGE}" -f /dev/null
|