riju/tools/ci-run.bash

9 lines
195 B
Bash
Executable File

#!/usr/bin/env bash
set -euo pipefail
echo "${DOCKER_PASSWORD}" | sudo -E docker login --username "${DOCKER_USERNAME}" --password-stdin
make shell I=runtime CMD="make system"
make publish Z=1